It seems that our ISP and carrier have finally sorted things out so the
pgAdmin CVS server should now be where it's supposed to be:
cvs.pgadmin.org
It should be there now, but in case the DNS updates haven't propagated
yet, the IP address is:
80.176.1.147
Apologies for the fun and games with this issue of the last few weeks.
Regards, Dave.