Sun Apr 4 13:58:05 PDT 2004 — /home filled up. Someone managed to consume 25 Gigabytes of storage on our /home partition this morning. You may have seen “no space left on device” if you use our shell server. The problem was cleared up at 7:44am. -Scott