Upgrade doctools. Fixed bug in snippets. Moved disqus out.