On Fri, Sep 8, 2023 at 4:22 PM Peter Geoghegan <pg(at)bowt(dot)ie> wrote:> This looks right to me.
Thanks, pushed.