Now using DISQUS for blog comments

I've switched this blog to DISQUS for the comment system. Going forward, you might want a disqus account to post a comment (but it's not required!). For posts previous to this one, you'll be able to add comments either through Blogger or disqus.