User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.0.4) Gecko/2008111217 Fedora/3.0.4-1.fc10 Firefox/3.0.4 In /usr/share/publican/Common_Content/common/en-US/Conventions.xml, we can see the following text: Choose <guimenu>System > Preferences > Mouse</guimenu> from the main menu bar to launch <application>Mouse Preferences</application>. In the <guilabel>Buttons</guilabel> tab, click the <guilabel>Left-handed mouse</guilabel> check box and click <guibutton>Close -- This menu item is now System>Preferences>Hardware>Mouse (in Fedora 10, at least), and the Left-Handed option is on the 'General' tab, not 'Buttons'. Trivial yes, but it caught my eye. Reproducible: Always
This is just an example, it is different on different platforms.