Encyclopedia ElectricMario/Extensions