Just for completeness: On Tuesday 04 December 2007, Paul Szabo wrote: > > ... I think reporting it to the Firefox bugzilla would be a good > > idea. > > Had done so: > > https://bugzilla.mozilla.org/show_bug.cgi?id=406777 > https://bugzilla.mozilla.org/show_bug.cgi?id=356280