pgAdmin 4 (APT) installation error

Hi,

Great work. the page:

https://www.pgadmin.org/download/pgadmin-4-apt/

has a series of commands one of which is to create a repository the line is:

sudo sh -c 'echo "deb https://ftp.postgresql.org/pub/pgadmin/pgadmin4/apt/$(lsb_release -cs) pgadmin4 main" > /etc/apt/sources.list.d/pgadmin4.list && apt update'

I believe it should be:

sudo sh -c 'echo "deb https://ftp.postgresql.org/pub/pgadmin/pgadmin4/apt/bionic pgadmin4 main" > /etc/apt/sources.list.d/pgadmin4.list && apt update'

based on Widuranga Dilruksha reply here:

https://stackoverflow.com/questions/68808730/the-repository-https-apt-postgresql-org-pub-repos-apt-trusty-pgdg-release-do

best regards

Robert