These belong in settings.js.