Answered
PDF Vector
I am currently working on exporting PDFs, but I have noticed that the quality deteriorates significantly when zooming in. It appears the PDFs are being created with raster graphics instead of vector graphics.
To improve this, we should implement an option to choose between raster and vector PDF formats.
Therefore you need to use the SVG2PDF export method.
can we access to this method in the html5 version ? (not found..)