Because of a server configuration problem, this blog was down much of the day today. I apologize to any of you this may have inconvenienced. The hosting provider I work with is amazingly good. This is the first such outage in over ten years, and it is my mistake that created the problem, not theirs!