Special:EditPage/Template:PlanetMath attribution/doc