On Wed, 2024-01-31 at 12:11 +0100, Peter Eisentraut wrote:> Sprinkled in some of David's suggestions, and pushed.
Thanks; your text is great.
Yours,Laurenz Albe