Optional Plug-ins

To display the Optional Plug-ins page, open the user menu then click Settings.Then, on the Settings page, click Optional Plug-ins.

On this page, you can download the Highlighting plug-in.