[Request Feature] Native pdf export option

[GJoe2]

While html is fine and could be printed manually to pdf format , a different story is doing recursively . There are some python package that can help with that but there are some major drawbacks:

1. pdfkit / weasyprint : Simple and effective way to export html files to pdf but does not support latex expression or MathML which are key components in the html file made by efficalc

2. playwright/ pyppeteer: It runs a headless browser from which one can write necessary steps to print the html file to pdf. At first glance it looks a complete solution but a little overkill download an entire browser just to export an html file to pdf. Also I have issues at running with a Jupyter notebook which is my main tool to write code because of nested async loops. In resume, a little more complex and present issues that I shouldn't focus to work on.

So, I suggest to implement a class to export the html files into pdf. Or maybe just a clarification in regards of pdf printing programmatically. Thanks in regards