The old server is back up

Sooner than I expected, the old server is back at the old address.

Now I have to decide what to do – where to go on posting. I will let folks know when I’ve decided.