I have a user.js, and it has a bunch of user_pref() that are not in the default FF config, so some of them need to be created in the about:config page. Until recently, this has not been a problem ...