Well, the site is back up now after being down for about 8 hours.  Hopefully that problem won’t happen very often.