what is the mirror file for?
Alternate download source in case your region's servers have a problem with the main one. Very common.
