Downtime

The site seems to have been down from about midnight to 10 a.m. this morning, apparently a problem at the hosting company. Sorry.