This seems to be OK now - not sure if this was a server-side issue or something else, but when I tried at home I was able to download the tarballs over 5GB. This morning I found I could do the same at work. May just have been a temporary blip.
... View more
