userChrome.js scripts