"Extras" menu

Create GUID

Generates a GUID and copies it to the clipboard.

Switch to a different server

Opens a dialog where you can change to another Portal Server.

Disconnect server

Disconnects from the current server.

Administration logins

Opens a dialog where administration logins can be managed.

License Manager

Opens a dialog where the licenses you have purchased can be distributed to individual portals. Click here for more information.

Online update

Opens a dialog where Online Updates can be configured.

Options link

Opens a dialog where general and module-specific settings can be made. On the left-hand side, select the areas where you would like to make changes; the settings will be shown in the right-hand area. Press F1 or the "Help" button if you require more information about each of the settings.