User blog comment:Rgetar/Creating FGH for transfinite ordinals/@comment-34422464-20190701005316/@comment-35470197-20190701014157

Also, I am pretty sure that Ubersketch also wrote a blog post on the same topic.