Incorrect Repo Information?

On this page: 

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,

--