Sorry for the unexpected downtime this morning. In server years, the server this site runs on is getting pretty old. It's susceptible to an occasional crash. We've rebooted and all is well. We will be moving to a new server in the near future.