[Petter Reinholdtsen] > Yes, it is down. I've reported the problem to the people with > physical access to the machine, and hope someone will fix it soon. The power supply is broken. We are working on a replacement.