Country specific round-robin on mirrors

Hi all (intentionally not flooding php-mirrors@) How do you guys feel about tweaking our mirror infrastructure a little by making countrycode.php.net a round robin to countrycode[1,2,3].php.net? That would mean that _all_ mirrors would have to update their ServerAlias (to listen to countrycode.php.net, and existing countrycode.php.net would need to "rename" themselfs to countrycode1.php.net). This would fix the situation when the countrycode.php.net mirror becomes inactive, and therefore breaking for people writing countrycode.php.net directly (which surprisingly many people do). It would also workaround situations like mentioned in #61146.. -Hannes