‘Export to PDF’: export should include a document-TOC / use headings as bookmarks in the PDF / Table of content

Feature requests
,
48

Please consider adding this. If the markdown document has headings, the exported PDF could pick up those headings automatically and put them on a TOC.