Whitespace diff. No content changes.

This includes a re-justification of the whole document, as many lines
were far too long, not just the ones I touched in the last commit.