I’ve heard of piped due to the piped-link bot, but I am curious about others.
5 points
Which they could already do, with basic trademark law and just forcing all derivatives to be non-commercial. Cyrptominers are commercial.
4 points
Forcing all derivatives work to be non-commercial is incompatible with being open source.
Though I agree that they can already prevent usage of their app name with trademark laws.