PP3 images in SVG

The original PNG files produced from PP3 seems to be disused on English Wikipedia. One glorious guy named User:Kxx seems to have converted the images to SVG, he applies an unknown extra script or program to the TeX (?) code produced by PP3. The method is however undocumented – no deal – the maps should be replaced anyways.