Where are stored the servers configurations?
I'm using pgadmin4 with docker and I would like to save servers between each run, and to do so I need to mount as volume the dir where the configurations are stored.
Thanks,Oscar