On Tuesday, 23 September 2025 at 14:23:48 UTC, jmh530 wrote: > On Tuesday, 23 September 2025 at 12:41:36 UTC, Steven > Schveighoffer wrote: >> [...] > > Really? That's great news. I was not aware of this. > > [...] Looks like all sorted out ???