User blog comment:MilkyWay90/Who's site are we using for the new Googology Wiki?/@comment-31867576-20180609161450

The problem with doing that [at least to me] is that that would require porting over all existing number to the new site.