Apologies to recent commenters
<p>Due to a fat-finger error on my part, the comments for several posts back were deleted a few minutes ago.  Apologies to all commenters; those threads were of rather high quality and I&#8217;m sorry to lose them.</p>
