acec746b89
* commit '55362018c9dfadff5eb1a138a1d90187110c253e': Doc change: minor edits to support easier extraction of document summaries.