svr2.postgresql.org has been shut down, now that techdocs has been
finally migrated. So if something breaks because of it, well, the files
will be around for a couple of days more ;-)
(For emergency restart, check /etc/rc.local on borg, it has a
commented-out line that starts the VM)
//Magnus
