"Da man dies des öfteren in Kommentaren liest: Mozillas Hauptlizenz ist die MPL und nicht die GPL."
Schwachfug auch die GPL hat nichts mit dem Namensrecht zu tun. Auch die Namen von GPL-Projekten lassen sich schützen beziehungsweise sind zumeist auch registriert. Die GPL bestimmt nur unter welcher Lizenz der Code steht. Mit dem Projektnamen hat das wirklich gar nichts zu tun.