Various user scripts for the grease monkey firefox addon