In today's source push, a couple of the zip/tarballs may have been incomplete or corrupt owing to a full disk. I'm adding a check for that condition, and restarting the pushes. The URLs will be the same, but the contents may not be valid until around 2pm SLT.