> Automatic selection of mirrors has caused big problems in the (distant)
> past for the project, and only about a week ago for me on php.net :-(
hehe, I always use www.dk.php.net, since the search function on
www.au.php.net is so sluggish it's unusable....
> Whatever we do, the user must have some control so they can easily
> select a different mirror in the case of a problem with any site, even
> the primary.
agreed...
... John