- <p class="LITERALLAYOUT"> <span class="GUIBUTTON">Tools</span> -> <span class=
- "GUIBUTTON">Options</span> -> <span class=
- "GUIBUTTON">Advanced</span> -> <span class="GUIBUTTON">Network</span> -><span class=
- "GUIBUTTON">Connection</span> -> <span class="GUIBUTTON">Settings</span></p>
+ <p class="LITERALLAYOUT"> <span class="GUIBUTTON">Edit</span> -> <span class=
+ "GUIBUTTON">Preferences</span> -> <span class="GUIBUTTON">Network
+ Settings</span> -> <span class="GUIBUTTON">Settings</span></p>