Catchup blogging…

These are all things that are either too specific or too small to deserve a post of their own.