Man pages matching name pgadmin3 in section 1:

pgadmin3.1.en

debian 10 / pgadmin3