Fan-made Googology Wiki/Extensions