User blog comment:Rgetar/Ordinal Explorer Online/@comment-30279966-20200214093409/@comment-30279966-20200214122523

May I add a link to your explorer here? It can be helpful for newcomers in googology.