Comment System - From IntenseDebate to Disqus

As I have received some reports that people have had some trouble posting comments using IntenseDebate, I switched the blog to use Disqus instead. We'll see how that works out. Let me know if you encounter any problems with the new system.