Description
Right now the pause menu will stop running game session / network session runner, this can lead to timeouts / disconnects. Perhaps we should not pause the game when pause menu is open in online play, just let it keep running.
Or could consider pausing for all players, but this is more complex + also may lead to frustration if game is repeatedly paused by other players. Rounds are fast / cheap so having other players keep going while in menu seems acceptable to me.
Somewhat related to #994 (pausing may be used to repro this, but not direct / sole cause)