It's great that there is a PDF export option. But it would also be nice if there were better options for customizing PDFs without having to rely on other tools like Pandoc.
My use case is to export end-user documentation to PDFs including title page, TOC, headers, and footers.
My use case is to export end-user documentation to PDFs including title page, TOC, headers, and footers.