It's really weird that they target projects like PHP for their trademark policy, when the GPL itself contains no language allowing you to use an upstream project's trademark. In fact, the GPL explicitly grants you the ability to impose trademark restrictions on code you add to GPL code. For instance, Firefox is distributed under the similarly copyleft MPL, but Debian still had to distribute its version as Iceweasel until Mozilla gave its approval.

(Also, seriously? Policing users' email providers in their mailing list [0]? Write all the blog posts you want, but banning addresses is just silly.)

[0] https://www.hyperbola.info/news/hyperbola-rejects-all-email-...