Re: pg_overexplain extension name

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