Rename .prefs.js to user.js so that it's more discoverable for devs
Rename .prefs.js to user.js so that it's more discoverable for devs