I'm good with it.  Thank you!

On Tue, Jan 25, 2022 at 6:15 PM David G. Johnston <david.g.johnston@gmail.com> wrote:
On Tuesday, January 25, 2022, Tom Lane <tgl@sss.pgh.pa.us> wrote:
Bruce Momjian <bruce@momjian.us> writes:
> How is this patch?

I'd still drop the Tcl bit, or if you must have it, move it to
pltcl.sgml.  Otherwise OK by me.

                        

Agreed.

David J.