firefox/user.js: New