Just added PDF export: go to a note’s download panel [Alt-D] and choose one of the PDF options. Let me know what you think!