Re: pg_overexplain extension name

2025-07-14 Thread David G. Johnston
On Mon, Jul 14, 2025 at 11:55 AM Peter Geoghegan wrote: > On Mon, Jul 14, 2025 at 5:23 AM Bruce Momjian wrote: > > 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? > > Ove

Re: pg_overexplain extension name

2025-07-14 Thread Tom Lane
Peter Geoghegan writes: > On Mon, Jul 14, 2025 at 5:23 AM Bruce Momjian 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 compla

Re: pg_overexplain extension name

2025-07-14 Thread Peter Geoghegan
On Mon, Jul 14, 2025 at 5:23 AM Bruce Momjian wrote: > 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? Over-explaining something can be somewhat useful if the person doing the

Re: pg_overexplain extension name

2025-07-14 Thread Aleksander Alekseev
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 funn

pg_overexplain extension name

2025-07-14 Thread Bruce Momjian
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? -- Bruce Momjian https://momjian.us EDB