various greasemonkey userscripts