On Friday, 31 July 2020 at 17:57:58 UTC, H. S. Teoh wrote: > On Fri, Jul 31, 2020 at 01:46:43PM +0000, Mike Parker via > > Not sure how blog-worthy this is, It is! I'll be in touch :-)