Oh yeah, I remember debian's Firefox used to be called something else for trademark reasons some years ago. I wonder how much linux market share firefox lost as a result. Not sure what changed, I guess in that case Mozilla must've come to their senses. I was mostly an ubuntu user in those days.

... lwn has the story: https://lwn.net/Articles/676799/