User blog comment:Ubersketch/Nested Buchholz Hydras/@comment-35470197-20190830005618/@comment-34422464-20190830113629

Ok, I saw the blog post again and it seems dubious.