I guess your main issue is resolved, but in terms of mirrors, I know of this unofficial one at Tsinghua University:
Depending on your location, you may find that a good alternative.
I guess your main issue is resolved, but in terms of mirrors, I know of this unofficial one at Tsinghua University:
Depending on your location, you may find that a good alternative.