Web1 was rebooted a few minutes ago to pick up a kernel update, but has not yet come back online. We expect service to be restored shortly.
Update June 1, 2010 09:57pm GMT: Web1 is back online.