User blog comment:Simply Beautiful Art/Intuition behind the Mahlo OCF/@comment-35470197-20190829142904/@comment-31663462-20190829182354

Indeed. Aside from that, deducing fundamental sequences from this is not so hard, so it's all the more relevant to computable googology.