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."
