I just found some minutes to look at the website files, and make updates to streamline the wording/spelling (esp. pgAdmin III instead of pgadmin3 etc). I wasn't able to cvs update on developer.pgadmin.org (and extract.sh), because the files are jmp-owned and sudo isn't present any more. Dave, can you do something about that?
Regards, Andreas
---------------------------(end of broadcast)--------------------------- TIP 7: don't forget to increase your free space map settings