> The name “Audacity” is a registered trademark.
It's a regular trademark - it's been acquired.
The trademark isn't covered by the GPL.