Miscellaneous Greasemonkey userscripts of dubious utility