Re #8638. Documentation update.