Doku Wiki Addon

You could add the following plugin or a similar one to download the wiki in pdf? It would be very convenient being able to print the entire wiki on paper when you need to browse. I understand you are constantly adding new features but it would help the same. It weighs very little and is easy to install with the plugin manager of doku wiki.
Here the plugin: https://www.dokuwiki.org/tips:pdfexport#export_dokuwiki_pages_to_pdfs
Or here others with the same function:...

Doku Wiki Addon