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!

Reply via email to