On this pseudo-vacation day I'm working on a potential migration to another platform. Since I'm still evaluating the change, I've had to change the Blogger settings and then put them back. Unfortunately, some things may have gone wrong in the transition. This post is an attempt to set them right.