settings_local.js done the right way