To reduce load on the main server, you can use this redirector service which automatically redirects you to a mirror. It might take a while before all the mirrors are in sync and the files available there too: