"I'm altering the deal. Pray I don't alter it any further."

Darth Vader, VP of Contract Renegotiation

Then they start calling it "buproto" or something. Firefox has a trademark too, but that didn't stop debian from distributing the same thing under the name Iceweasel...

Notably, from their FAQ:

> We’ve taken inspiration from other open-source projects that have taken a similar approach, including Wikimedia, Red Hat, Rust, Python Foundation, Apache, Mozilla, Linux, and Debian.