Minigames servers

The Minigames ranking is decided by player votes. Status and connected player counts come from our own measurements, not from server claims.