The inst.eecs.berkeley.edu web server is down with an apparent hardware failure. It is expected to be working again later today. Updates will follow as repairs progress.Update: The web server had a disk failure. We are re-installing it with a new disk. I expect it will be back up by 5pm.