I just looked at pgadmin.org, and the page at https://pgadmin.org/download/ still points to Martin Pitt's old launchpad, which seems to have a thin coating of "deprecated" warnings.
Is that actually the right place to look for PGAdmin4, or should I be looking at apt.postgresql.org? Or should I just pull the source and build from there?