Yesterday’s mysterious post was not meant to be a post at all. Instead it was a reply to a comment on But something went wrong and I posted it without the reply’s @-name at the start so it appeared as a full-fledged post, and got crossposted to Twitter and Facebook as usual.

I’m going to leave it in place as a learning experience.