Re: pg_overexplain extension name

Hi Bruce,

> I was thinking about the name of our new PG 18 pg_overexplain extension.
> "Over-explain" has a negative connotation, like how can over-explaining
> something be useful?  Do we want that as the name of this new extension?

I think it was an intended pun and to my ears it's sort of funny. This
being said I can imagine how it might confuse a user or two, so +0.5
from me.

Here are several more neutral options:

* pg_explain_extra
* pg_explain_ext / _extended
* pg_explain_more