Manpages of pgadmin3 in Debian jessie-backports