[rednotebook] github.com/kathenas/rednoteb… Jendrik Seipp - Remove brittle PDF export. Export to HTML and print to PDF with browser instead.