tweak hotkey map notation to allow stuff like shift-arrows
add experimental HOOK_SANITIZE