User blog comment:Rgetar/9 lists of ordinals up to Rathjen ordinal (total 12321 ordinals)/@comment-24725252-20190326220029/@comment-32213734-20190327023605

Indeed, it does not work, and now I am trying to fix it.

And thank you!