To install manually, download the latest version of the extension via the Extension Warehouse. Once the file has downloaded, launch the extension manager by selecting Window > Extension Manager from the menu bar. Click Install Extension and select the downloaded file from the file browser window.