As some of you might have noticed, the server was unreachable for the past few hours.
We're terribly sorry for the inconvenience, but due to a server misconfiguration an update
corrupted the DHCP client, and it took some time to figure that out, and even more time
to fix it. Everything should be up and running again now, though.
Again, sorry for the inconvenience.
Update: something was not quite right yet, apparently... let's see if it works better, now.