[imported_Chuck Weinstock]

The company which hosts our server is upgrading its infrastructure this weekend and has informed me that there may be brief periods of outage between 1:05am and 7:00am this Sunday, May 18. We apologize in advance for any inconvenience, but as the highway signs say "temporary inconvenience/permanent improvement". (Hopefully our hosts are more honest than the typical highway department when they say that!)