I can't see vanilla/js/upgrade.js referenced anywhere in the source. Also, vanilla/js/settings.js is empty and could be removed from the SettingsController. What is or was their purpose? Can they be ...