Könnte man sich nicht darauf einigen, daß man das Ding dann statt Mozilla Firefox einfach Debian Firefox nennt? Das fände ich irgendwie das einfachste. Oder geht es bei den Problemen nur um den Namen Firefox und nicht um Mozilla Firefox?
Wenn du schon mal firefox compiliert hättest dann wüsstes du, dass "official-branding" standardmässig aus ist dafür werden dann glaube ich jeweils die releasenamen verwendet. "Firefox" ist genauso geschützt wie "Mozilla"