However, I am unable to see any impact from having this file. Here are the docker logs from the container:
...
Here is my Dockerfile:
FROMdpage/pgadmin4:latest
EXPOSE80
COPY--chown=pgadmin:pgadminservers.json.
Won't that copy servers.json into /, not /pgadmin4/?
In any case, this seems like an odd way to do this - any reason not to just map the file as Aditya suggested? I suppose if you're distributing the container to others it might make sense.