…and we’re back to normal

No, I don’t know how twenty copies of the previous post ended up here. I can only hope that I managed to delete them all before anyone noticed.