Make changes to manuals to (hopefully) improve documentation and to change