https://tutorialtactic.com/blog/pgadmin-shortcuts/