On Thursday, November 12, 2020, Bruce Momjian <
bruce@momjian.us> wrote:
On Thu, Nov 12, 2020 at 01:52:11PM -0500, Tom Lane wrote:
> On the whole, I'm on the side of the people who don't want to change this.
> The implementation cost seems likely to greatly outweigh the value, plus
> it feels more like a wart than a feature.
I think we can mark this as, "We thought about it, and we decided it is
probably not a good idea."
+1
David J.