Recent comments lost
It looks like the server hosting our home pages and this blog had a problem last night: we lost all the posts and comments after 22 July. I was able to recover the posts from cached copies, but unfortunately I lost all of the comments. Sorry.