We need some further customization of exported PDFs, namely changing the name on the cover page + fixing the behavior of the table of contents.