Refs #2: Switching to jQuery Hotkeys, paving the way for configurable key bindings.