I’d say convert it all to HTML - would be a nice summer job for a young dev

toltmanns: 1.

pandoc -f html -t pdf

2. done. 😉 http://pandoc.org/getting-started.html