user.js Firefox wieder auf Standard ?