On Wed, Mar 25, 2026 at 05:27:34PM +0100, Peter Eisentraut wrote: > I'm mildly in favor of removing them. But it appears there is no consensus.
Same here. While it still doesn't look like anybody is totally opposed to the idea, you are right that there is no consensus. -- nathan
