A reminder

Don't comment anonymously. Either use your name or a consistent pseudonym. This has gotten worse in the last couple weeks. Starting this morning I'm just going to delete anonymous comments.

I know the verification procedure is annoying. I don't know how to change that. But if you're having trouble signing in as someone, at least sign in the comment itself - then I won't delete it.

There is a noticable negative correlation between comment quality and anonymity. That should not be surprising to anyone. So stop.