This is getting stranger all the time: While removing the both preferences works for a test user, it does *not* work for the user on my system which I use for surfing, which has a much larger prefs.js . I have no idea how this all fits together.