PUBLIC MARKS from decembre with tags conversion & compilation

First, you'll need to track down your installed scripts. They're in your Firefox profile, under the "gm_scripts" sub-folder. Or, if you'd prefer, you can skip the search and download any script from the online script repository. Next, you need to change the file extension from .js (Javascript) to .txt (plain text). After you've changed the extension, double-click the file to view the code. Copy and paste the code into the User Script Compiler and hit "Generate." Voila! Your new Firefox extension (.xpi) is complete. To install in Firefox, simply drag the new extension onto the Firefox interface and follow the prompts.