Just FYI: hobbes is down again, and it looks like one of the SCSI disks bit the dust, finally. I don't know whether I will be able to get hobbes sorted before it gets packed up for the move. To make matters more interesting, washi is off the net as well. If anyone still has a buildd host that could be brought back up, now would be the perfect time to do so. Michael