Goodbye Greasemonkey
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.