Mention hotkey in the options screen