Renamed hotkey.js to settings.js.