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
