Thank you for sharing that! It's unfortunate that the pgAdmin devs weren't interested, although I understand them wanting to keep it focused on being a GUI.
I agree. We've been on the other side of pull requests like this and I know how hard it can be to say "no, we need to stay focused". I appreciate their clear comms