Vanilla servers

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