Players in game instances

This count comes from server status (GisPlayers). A named online roster and richer player pages need additional game Web API endpoints — see docs/game-web-api-requirements.md.