Update manuals to reflect recent changes in the tools, and fix a number of bugs in the manuals