On Thu, Oct 03, 2024 at 01:31:19PM +0200, Peter Eisentraut wrote:> Sounds good. Here is an updated version.
Good idea. What you have sent here looks good to me.--Michael