On Thursday, 17 September 2020 at 13:45:16 UTC, Mike Parker wrote: > On Thursday, 17 September 2020 at 13:42:47 UTC, Jean-Louis > Leroy wrote: > >> this point I have some hope that the DIP is not damaging in >> the way Mike thinks. > > What Mike thinks appears nowhere in my post :-) OK, s/thinks/reports/ ;-)