For info of the Mozilla users out there, the latest version, Mozilla 1.7.5, has just been released. It does not contain much in the way of new features but about 380 issues have been fixed since the last release.