I followed a link to a download on a website called Sourceforge and was asked to pick a mirror. The file downloaded fine, but what’s a mirror?