Comment 9 for bug 140458

I'm not sure that the mirror list source data has any information about which mirrors should be preferred. I can look into this.

I'm also confused by your comment that "servers would be picked by country first and then randomly" -- if this is the case, why should the list be sorted?