Peter Geoghegan <p...@bowt.ie> writes: > On Mon, Jul 14, 2025 at 5:23 AM Bruce Momjian <br...@momjian.us> wrote: >> Do we want that as the name of this new extension?
> Personally, I think it's fine. We ought to discourage the idea that
> this is just "explain, but better".
I agree that it's a tad cutesy, but the time to complain about this
name was > two months ago. I can't see renaming it post-beta2.
regards, tom lane
