@jonny also, the alternate links on the headers seem to be used for the localized pages, not for the mirrors. The mirrors page is still easy to scrape (there's a nice "mirrors" id on the list).