Because of how the markup is generated, it's not too nice to get a 1:1 pdf. I have been looking at PhantomJS (headless webkit) which can render out to a pdf, but it seems not to like something about the libraries used, as the fonts and math are not displayed. Hopefully that can be fixed.
Would it be possible to add an Export to PDF without relying on a local PDF distiller?