More todo tweaks

I try to make note of them when they occur to me, and several have
occurred today.