Doesn't seem to have run in a month.
Apologies, bson. Sourceforge had disabled shell access while they were moving datacenters. They finally reenabled access today, but now I cannot resolve downloads.kicad-pcb.org from sourceforge's servers..
Edit: aaand DNS is fixed but I'm not allowed to make outgoing connections any more. And they've broken access to ssh again.. WTH is going on with Sourceforge?
I'll definitely update manually if version 5 comes out before this is all fixed.