Firefox profile folder: user.js

The optional user.js overrides settings in prefs.js.