Oops

I just accidentally deleted a bunch of comments on recent posts. I will get them back soon.

Also, I turned off the “refresh” thing. It was more annoying than anything else, and a number of readers complained about it.