Made a few more fixes to the user documentation.

Removed some double words and added a few spaces where they should be.
Generated a new .pdf file.