On Thu, 16 May 2024 at 19:05, Peter Smith <smithpb2250(at)gmail(dot)com> wrote:
>
> On Thu, May 16, 2024 at 3:11 PM David Rowley <dgrowleyml(at)gmail(dot)com> wrote:
> > If you want to do this, what's the reason to limit it to just this one
> > page of the docs?
>
> Yeah, I had a vested interest in this one place because I've been
> reviewing the other thread [1] that was mentioned above. If that other
> thread chooses "true|false" then putting "true|false" adjacent to
> another "on|off" will look silly.
OK, looking a bit further I see this option is new to v17. After a
bit more study of the sgml, I agree that it's worth changing this.
I've pushed your patch.
David