We didn't change that file. Should we as the settings.js is a global override?