BTW, anoncvs.postgresql.org still doesn't resolve for me. Shouldn'tthat DNS update have propagated by now?
regards, tom lane