administrivia: server cut over

[Richard Welty <rwelty@xxxxxxxxxxxxxxxxxxxxxx>]

the new krusty is going to go into place, at about 10am ET tomorrow
morning, with downtime of about an hour.

i think i've got everything covered, but if anyone observes any
strangeness after the new system comes up, drop me a line at both

rwelty@domain.elided
rwelty@domain.elided

for those who have accounts on krusty (there are a few), please
contact me at the rwelty@domain.elided email address, or at
518-573-7592 for your new password -- we will be going to entirely new
passwords on the new server.

richard

------------------------------