We bundled the script up as a plugin to make it easier for the majority of users, but Greasemonkey users can install the original Greasemonkey script if they choose.
Note: You should install Greasemonkey before installing this script. If you see a page of gibberish instead of an installation dialog box, you need to install Greasemonkey.