Jason's got the new machine installed (thanks!). It's at 130.94.122.204, but it needs a name... Among the previous suggestions to name machines after were:
http://en.wikipedia.org/wiki/Denis_Diderot http://en.wikipedia.org/wiki/Mortimer_Adler
Any preference for 'diderot' or 'adler' or something else?
I can import the last backup dump and test it tonight; if all seems well any objection to moving the database over tomorrow night? (Early morning UTC on December 3 == evening US December 2.) The databases will need to be frozen/read-only for the duration of copying, and I'm not sure how long this will take so I don't want to spring it on everyone unannounced.
-- brion vibber (brion @ pobox.com)