On Wed, Oct 4, 2023 at 9:42 AM Robert Haas <robertmh...@gmail.com> wrote: > > On Wed, Oct 4, 2023 at 9:36 AM James Coleman <jtc...@gmail.com> wrote: > > Are you thinking we should simply elide the fact that there is pruning > > that happens outside of HOT? Or add that information onto the HOT > > page, even though it doesn't directly fit? > > I think we should elide it. Maybe with a much larger rewrite there > would be a good place to include that information, but with the > current structure, the page is about why HOT is good, and talking > about pruning that can happen apart from HOT doesn't advance that > message.
All right, attached is a v3 which attempts to fix the wrong information with an economy of words. I may at some point submit a separate patch that adds a broader pruning section, but this at least brings the docs inline with reality insofar as they address it. James
v3-0001-Correct-HOT-docs-to-account-for-LP_REDIRECT.patch
Description: Binary data
