Maybe this is old news and you may found it out by yourself, but today I found that the number of pages in Robert Munafo's large number pages has been increased from seven pages to nine pages. I haven't read the new pages yet, but looking at the contents, it appears that information about the xi function, formal logic and set theory, Rayo's number, and BIG FOOT has been added. If you haven't read the pages yet, go read it now.