958a7f725d
* commit '35ad8886f230d4bde4ea4cb2df9f07cf213c7cd1': Doc change: minor edits to support easier extraction of document summaries.