> is this the end of the story?
> http://www.mozilla.org/press/mozilla-2004-02-09.html

Yes, it is:

http://www.bengoodger.com/weblog/archives/cat_mozblog.shtml

They sure put a lot of hard work in this to resolve the issue once and
for all. Thanks, Mozilla!

- Francis