other8026 Correct. I only tried this without a VPN but it worked just now. The only difference I noted was that when it was failing it showed the download size as 550 MB, and now it showed as 565 MB (which I believe is the correct value).
In any case, I don't know what the cause was or how it can be solved besides to keep trying at different times.