This is a manual dump done with some hasty Chrome inspector copy paste of Disqus comments on the main pages of http://www.cirosantilli.com/ in 2019-05-04 as I decided to terminate it in favor of GitHub issues, and I can't find a way to properly archive them: https://www.archiveteam.org/index.php?title=Disqus - View it on GitHub