Various documentation edits

Mostly edits to formatting, grammar, wording for consistency & readability.