On 2023-11-13 21:49 +0100, Tom Lane wrote:> Patch pushed with minor adjustments, mainly rewriting some comments.
Thanks a lot!
-- Erik