On Monday, January 16, 2023, Robert Haas <
robertmhaas@gmail.com> wrote:
I don't really think there's too much wrong with what I wrote in the
patch as proposed, and I would like to get it committed and move on
without getting drawn into a wide-ranging discussion of every way in
which we might be able to improve the surrounding structure.
I’m moving on as well. Go with what you have. I have my personal understanding clarified at this point. If the docs need more work people will ask questions to help guide such work.
David J.