Browser user.js scripts for Firefox (greasemonkey).