Issue #1717: documentation fixes related to the cmp removal.
6 files changed