On 9 Sep 2022, at 16:13, Guy Steele wrote: > On Sep 9, 2022, at 5:32 PM, John Rose <[email protected]> wrote: > > Well said, but I cannot resist observing: >> >> There is certainly no new murk. > > To be precise, if you think there is more murk than before, take comfort that > it is merely the dual of the existing murk. :-)
(How much is that murk in the mirror?)
