9/29    /usr2's power supply flaked on us again, making /usr2 inaccessible
        for several hours this morning.  It's back now.