Comment by shkkmo

The value of trademarks is far more than you are making out. That value doesn't come from "how clever the name is", but from name recognition and community reputation.

The community can fork the project and rename it. However, this comes as costs of losing name recognition/reputation and creating additional drama in the community. If the issue can be resolved amicably, it is better to avoid the need for this.