There was a short period of time when both distfile servers were down due
to physical failures, but since then they'd been fixed, unbreak the port.