On Wed, Mar 20, 2024 at 12:43:08PM -0400, Robert Haas wrote: > Overall, I think this achieves a minor but pleasant level of > de-cluttering of the index. It's going to take a lot more than one > morning's work to produce a major improvement, but at least this is > something.
I think this kind of doc structure review is long overdue. -- Bruce Momjian <br...@momjian.us> https://momjian.us EDB https://enterprisedb.com Only you can decide what is important to you.