On Tue, 22 Apr 2025 at 12:27, David G. Johnston <david.g.johns...@gmail.com> wrote: > On Monday, April 21, 2025, David Rowley <dgrowle...@gmail.com> wrote: >> Does anyone have any opinion on the wording I'm proposing in the attached? > > I like it. It removes the problematic wording and moves the reference to > —all closer to the front to aid in skimming.
Thanks for looking. I've pushed and backpatched that down to v13. I felt it was worth keeping it the same in all supported versions. David