Administrivia: I've moved to Google Plus comments

This blog is now using Google Plus comments. Mostly, I'm doing this because Google Plus comments handle spam better than Blogger, so it makes sense for maintainers like me to switch.