> On 4 Jul 2023, at 17:05, Dave Page <dpage(at)pgadmin(dot)org> wrote:
> Please re-check!
Tested and verified to work in Firefox, Safari, Chrome and Edge. Thanks!
--Daniel Gustafsson