Administrative Bull

First of all, in case you haven’t noticed, our site has been down the past
few days…  The deal was, they needed to restore the server from backup
tape (last Friday’s apparently), so a few entries, comments, and so on got lost
in the shuffle.  Sorry about that.  In any event, things should be in
order now.  Sorry about the hassle.