Sorry about that. I’d activated a plugin that apparently didn’t play nice, then had to run out for meetings. Things should be back to normal now.

[Late-Evening update]

I understand that some people are having trouble posting comments. I can’t deal with that until tomorrow morning (Pacific time).