paragraph spacing oddness

[Robert Lauriston]

Aha. The extra lines were coming from three-point empty paragraphs.
Nothing to do with formatting except that somebody who worked on this
doc spent way too much time on it.