Mario Fan Games Galaxy Wiki/Extensions