Scripts for Greasemonkey Firefox addon (and for other browsers that support userscripts)