Servers with real players should be prioritized when sorting by player count