Short downtime for server relocation imminent.

Not that any of you dear readers will miss anything while we’re down, but this server will be offline for up to a few days while I move it.