lightweight HTML to PDF generation with puppeteer

[epogrebnyak]

Found that jupyterbook in addition to latex+pdflatex builder has a lightweight builder for PDF using puppeteer, a headleass browser that can emulate printing, and puppeteer port is available as python package.

So on jupyterbook lightweight pdf generation will look like:

pip install pyppeteer
jupyter-book build mybookname/ --builder pdfhtml

Possible mudkip version is, with new builder flag:

mudkip build -b pdfhtml
mudkip build --builder pdfhtml