Julien Rouhaud <rjuju123(at)gmail(dot)com> writes:
> On Sat, 14 Sept 2024, 12:39 Tom Lane, <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>> Hmm ... I agree that para is out of date, but is there anything to
>> salvage rather than just delete it?
> I thought about it but I think that now that knowledge is in the else
> branch, with the mention that we still have to bump the nesting level even
> if it's not locally handled.
After sleeping on it I looked again, and I think you're right,
there's no useful knowledge remaining in this para. Pushed.
regards, tom lane