Commit 8e3935fa761d3e6f19ccf5e6733fd40dee637d94

Anthony Green 2019-11-22T12:42:26

Manual clean-ups, and include the PDF in the source distribution.