More descriptive descriptions of hotkeys.  Fixes #87.