Let's go on :)
Attached is a proposal for the pgadmin3 manpage I wish to include in debian package.
Comments/corrections are welcome.
Regards,Raphaël