I’ve taken down the Greasemonkey userscript section of this web site. I found that not even I was using it — uploading the files to userscripts.org was much easier and useful. So now the link above redirects to my list of scripts at userscripts.org.
I’ve taken down the Greasemonkey userscript section of this web site. I found that not even I was using it — uploading the files to userscripts.org was much easier and useful. So now the link above redirects to my list of scripts at userscripts.org.