switch back to prefs.js from user.js, which is deprecated(?)