I was asked to create a single PDF from the slides.
To convert the slide HTML to PDF wkhtmltopdf is used. The non-patched version does this only file by file.
To get rid of the <nav> elements, which are superfluous in PDF, I recurred again to the tdom package, filtering out with another tool in the slide package: preppdf.tcl.
All pages are concatentated with pfdunite from the poppler-utils package.
Orchestration is done by redo-c with two .do scripts: default.pdf.do and slides.pdf.do.