Removing the hotkeys.js file