Hello!
Would it be a challenge to integrate the option to export images as .png files and control the dpi or image size? I do a lot of presentations using Jupyter, and .png seems the easiest to work with there.
Alternatively, it could work export the notes panel to a pdf as offered, but with some control on the image resolution and without rendering the markdown syntax literally. Like when I render the pdf, the titles are the correct size but still have the #s in front of them.
Thanks!
Daniel