[detaro]

The license covers the code, not the trademark. You can use the code/software as long as you observe the license, you can use the trademark as long as you follow the rules set out by the trademark owner. E.g. you can totally use the code to make your own audio editor and distribute it, but the trademark terms might not allow you to call it "Audacity".

[irtigor]

Iceweasel is a good example, Debian used repackage Firefox wihtout the trademarked stuff.

[meowface]

I'm curious: does the WTFPL also let you appropriate a trademark? Or does it not encompass trademark rights?

[johannes1234321]

Copyright law and trademark law are different topics and have different ruling. Most software licenses (except 4 clause BSD or PHP License and few others) don't make any claims about names.

One might try to argue that a name used in software code and distributed under some open source license also gives rights to the name by being source ... but to my knowledge there are no court decisions.

[detaro]

I doubt any license that doesn't explicitly address trademarks would be found to cover them, but I'm not a license lawyer.