Options while browsing
Select from the following options:
Home — to return to your start page
Shortcuts — to open a new list of options that are specific to the page.
This option is only available if the page contains shortcuts.
Add bookmark — to save the page as a bookmark
Bookmarks — to access the list of bookmarks. See Bookmarks p. 84.
Page options — to show the list of options for the active page
History — to get a list showing the last visited URLs
Downloads — to show the list of bookmarks for downloading
Other options — to show a list of other options
Reload — to reload and update the current page
The service provider may also offer other options.