Very slow download

#3410 downloaded this morning, unusually, very slowly. Any reason, perhaps?