Tools->Options? or Edit->Preferences?

Using Firefox on both Linux and Windows? You would know what I'm talking about... To comply with the GNOME HIG, the preferences option has been placed under Edit Menu for Linux version, instead of Tools->Options, in Firefox. For windows, though, the Tools->Options thingy has been retained. This thing is a bit confusing for users adapted to any of the versions, while trying out the other. here's a discussion on this thing http://forums.mozillazine.org/viewtopic.php?t=82702 Now, it is to be agreed that Firefox needs to abide to the GNOME HIG since it makes use of GTK toolkit on Linux. But hey, the confusion stays... ;) http://bugzilla.mozilla.org/show_bug.cgi?id=245765 ( The bug mentioning this discrepancy.)