Removing disqus plugin temporarly as it does not seem to work on gitbook.io.