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

...single player.