Actually, he just downloaded them all every day or so and marked them as active or inactive depending on whether the download worked
It could be done whenever you load the page but think of the bandwidth!
Get the mirrors off the new mirrors page as above