Other things took up the bulk of my morning, and now there’s OtherJob to contend with.  Any posteration will therefore have to wait until this evening.  My deepest apologies to the two or three humans who are actually reading this.