Peter Geoghegan <pg(at)bowt(dot)ie> writes:
> On Mon, Jul 14, 2025 at 5:23 AM Bruce Momjian <bruce(at)momjian(dot)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