Fictional Googology Wiki/Extensions