User blog comment:Rgetar/9 lists of ordinals up to Rathjen ordinal (total 12321 ordinals)/@comment-35470197-20190327004329/@comment-32213734-20190327025001

It works wrong (as well as v2.0), Bubby3 pointed it in a comment. I found at least 2 fatal errors. Now I am trying to fix it.

(Technically, maybe it works, but not up to Rathjen's ordinal, but up to some much smaller ordinal).