Merge "Docs: Adding source files for older PDFs to ease diffing"