Grammatical and typographical corrections, orthographic suggestions

- grammar fixes (dashes, comma placement)
- typesetting (apply spaces as per LyX manual; monospace font for
  variable, directory names, etc.)
- casing (unix -> Unix)
- dissolution of contractions (not used in written style)
- word replacement suggestions