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. -- Robert Haas EDB: http://www.enterprisedb.com
