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?
Is there a reason you’ve defaulted to PNG that I’m missing?