A PDF to SVG converter written using PDF.js