Well, I also agree with Josch's well-articulated argument. A merge request to remove the tag is pending (!72). Thank you for bringing this to our attention!