Yep, one of the servers was down for at least 12 hours so your chance was 1:5 that you hit these (there are 5 server currently and the updater picks them randomly)…

We’ll be adding more servers in the near future.

Anyway, as many of you figured, we had a small problem with the generation of the VPS so instead of a ~100K increment, you were in fact downloading the whole file ~1.25M → hence the unusual congestion on our servers (that would normally handle current number of users quite OK)…

Vlk