A fork of Luigi Micco's PDF export plugin for DokuWiki