Thanks for the repor!
This should be resolved now–we had an outage of the mirrorlist service and our fallback code in the CDN was handing out bad URLs. I’ve created an issue to track that fix.
–Neil
1 Like