Export SVG file from p5.js?

Thanks, I think that was it!