user.js -- Firefox hardening stuff