You're welcome. If you like that general approach -- minimal edits focused on readability/brevity -- I'd be glad to look for other places on the site for edits.
Please feel free. Improvements to readability are always welcome.
Thanks!
On Mon, Aug 12, 2024 at 9:40 AM Dave Page <dpage@pgadmin.org> wrote: