Some minor changes in our comment system

Some time ago I have installed IntenseDebate on this blog. I was actually quite happy with it for a while, but recently it had more and more trouble filtering out spam. In the end I was forced to basically moderate anything by hand again. That’s why I decided to shut it down and reinstall a simple captcha plugin to deal with this problem. Please let me know if you run into any issues with this new setup.