True, in a pedantic way; what I was referring to is contributions to the GPLed source, presumably themselves licensed GPL only, could not then be distributed under another license. Should have been more precise...

You may be right here; I was remembering from the old days of Mozilla, not Firefox; maybe I shouldn't post contradictions at 0100.

Still, if anyone has references close to hand regarding FF licenses, they'd be welcome.