I come back from a small holiday away only to find that my
last three posts, including the one which explained I would be offline for a week or so, didn’t get posted. Oh, and
July went missing for a bit there, too.
I think it’s all working OK now, although it looks a bit pointless. Normal business resumes tomorrow.