"David E. Wheeler" <david@justatheory.com> writes:
> On Sep 10, 2024, at 14:51, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> Pushed with a little additional polishing.
> Thank you! Do you think it’d be worthwhile to back port to 17?
Not as things stand. If we adopt Peter's nearby position that
the current behavior is actually buggy, then probably back-patching
a corrected version would be worthwhile as a part of fixing it.
regards, tom lane