Hotkeys are separated by tabs. I would have allowed white spaces, but
they are found in some media key names :-(