Various small edits across document.

Corrects double quotes, spelling errors, and makes consistent the formatting
of tool/project names.