PUBLIC MARKS from decembre with tags conversion & firefox

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.

ImageData Une icône 16×16 encodée en Base64 représentant le moteur de recherche. The data: URI kitchen (en) est un outil très pratique pour générer les données à placer ici