Frankly I’d be happy to see a formal rule against it, or at least a community norm, but only frequent complaint is likely to drive things in that direction.

I see these comments almost daily, it’s a true plague. And never once have I seen it lead to an actual real-world change. Name-related comments most often serve as a sort of drive-by “dunking” for indirectly hating on projects. Do we really need a hundredth person commenting on a thread about Mastodon that there is also a band with the same name? What does that add to the conversation?

I recognize that I’m tilting at windmills, but someone has to speak up about it.