added a vanilla way to hide players from the serverlist!