hotkey.keycodes now has code->string mapping; fixes #318.