pgadmin's UX is pretty bad though, definitely on macos - lots of default OS specific keybinds that don't work, basic editing features that are missing, etc.