Switched to disqus

I’ve switched from wordpress comment system to disqus. The old comments will hopefully get imported pretty soon.