PR fixup: settings.json -> settings.js