Dear Dave and all,
pgAdmin.org has a DNS problem...
The secondary DNS record of pgadmin.org is pointing to ZoneEdit.com. But it
does not work as exprected. I re-connected to ZoneEdit to ask that
pgadmin.org account be a secondary DNS.
Now that pgAdmin master DNS is down tonight, the secondary DNS is pointing to
a casino. I hope everything will be back to normal tomorrow.
Cheers,
Jean-Michel