On Wed, Nov 30, 2022 at 08:39:23AM -0500, Robert Haas wrote: > On Wed, Nov 30, 2022 at 2:07 AM Noah Misch <n...@leadboat.com> wrote: > > In general, the documentation should prefer simpler decision trees. > > True, but I found the current text confusing, which is also something > to consider.
Could remove the paragraph about v14. Could have that paragraph say explicitly that the REVOKE is a no-op. Would either of those be an improvement?