Hi Tom, > On 26. Feb, 2021, at 17:13, Tom Lane <tgl@xxxxxxxxxxxxx> wrote: > > WFM. Who's going to write the patch? (I can, but if one of you > wants to, be my guest.) I don't know how to write a patch. Is there any documentation about that? Cheers, Paul