On Wednesday, 27 June 2018 at 07:13:14 UTC, Mike Parker wrote: > > Thanks in advance for your participation. For those of you using the NNTP or mailing list interfaces, this is the thread to respond in. Thanks!