pgadmin4 enhancement request: variable path to the config settings

I just made my first use of pgadmin4 in server mode within a linux docker container: it works great, I was just looking for the possibility to configure the path where the pgadmin4 settings are stored.

So far I could see in the config.py file, this path is statically defined to /var/lib/pgadmin, it would be great to be able to configure this path using an environment variable (like on windows with the APPDATA variable).

My pgamin version is:

Many thanks.

Denis