Update hotkeys.js