Tidy up documentation, re-generate README.pdf