On Tue, Jan 17, 2023 at 08:23:49PM +0100, Peter Eisentraut wrote:> Looks good to me.
Thanks, done.--Michael