The server swap is still ongoing here so, for technical reasons I won’t bore anyone with, I’m taking a short break until things are sorted out. Yesterday’s post and a couple of recent comments may vanish for a while but if they do they should be restored soon after. A break would be useful this week in any case since I have a number of competing deadlines to attend to. See you on the other side!