Comment by mft_

I believe (from a quick code check on my phone) it should be possible to output the images to SVG with a little tweak, thanks to your use of matplotlib?

Is there a reason you’ve defaulted to PNG that I’m missing?