Snake.pgadmin.org replaced

Just a quick note for those of you that may use snapshots from
snake.pgadmin.org - that server has now been replaced with a new machine
called developer.pgadmin.org. Snapshots etc. remain in the same
location, but on the new box.

Regards, Dave.