Convert images to SVG and PNG

These SVGs are enormous, but it’s a start.