Incorrect Repo Information?

Hi Postgres Web Team (?)

On this page:
https://www.postgresql.org/download/linux/ubuntu/

In the section "Included in distribution" (at the very bottom) pgadmin4 is
listed as being in the repository: http://apt.postgresql.org/pub/repos/apt.

This does not seem to still be the case. It appears pgadmin4 has been
relocated to this apt repository:
https://ftp.postgresql.org/pub/pgadmin/pgadmin4/apt/ , per
https://www.pgadmin.org/download/pgadmin-4-apt.

If that is true, it would be great if you could update
https://www.postgresql.org/download/linux/ubuntu/ to remove the table entry
for pgadmin4, and maybe throw in some links to the respective projects
download pages if they've been relocated.

Thanks,
--
Tyler Chambers
PGP: 2E69E7FB5F0E1C0F1D625C36BA76979FAA8D36E6
<https://keys.openpgp.org/vks/v1/by-fingerprint/2E69E7FB5F0E1C0F1D625C36BA76979FAA8D36E6>