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

* commit '037d9276a8108e3c8d23402e38b0df9a7099aa49':
  Docs: Adding source files for older PDFs to ease diffing