Further .gitignore improvements.
Improve “make clean” in docs directory.
Get final deliverable to build with a (more) modern LaTeX.