On Thu, 16 May 2024 at 19:05, Peter Smith <smithpb2...@gmail.com> wrote: > > On Thu, May 16, 2024 at 3:11 PM David Rowley <dgrowle...@gmail.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