Scripts for FF addon called Greasemonkey