Well, it no longer is. It’s all very predictable: a slight computer inconvenience put the posting on hold for a month. The code was fixed. The habit of writing will be easier to fix if we don’t dwell on it. 2019-08-05