Fixes #2907
Sort servers by players in the server browser