User scripts for grease monkey on firefox.