User blog comment:Rgetar/List of ordinals up to Bachmann-Howard ordinal/@comment-31663462-20171122124402/@comment-32213734-20171122132649

Thanks! Fixed.