[fixes #71388938] Add PDF documentation

To be made into HTML soon