The server is picked randomly now - according to the versions.txt anyway and it's a good and fair approach. I didn't bother to check it though as I have my own servers.ini with only four servers (One network) installed.