What are all the different numbers in the links, and if they're mirrors, why are all the filenames different?