settings.js isn't used anymore.