Fixed #4697 - Added lobby disconnect hotkey, and renamed the button for single player.