Retrieve the source code for PDFs in user guide

We should contact Tommaso about that issue.

We need to start from scratch.

mentioned in commit e93c7b6b

mentioned in commit ca697085

mentioned in issue #1878 (closed)