I’m upgrading this blog to a newer version. There will be some disruption. In general there should not be any loss of content but if you are in the middle of leaving a comment that could be lost.
I expect the upgrade to start at about 16:30 PST (about 15 minutes from now).
Update: All done.