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.