"""Wizard game server: manages players and lobbies and runs games."""