Ensure editor/settings.js is overwritten correctly