[ci skip] Doc changes following PR #5130
3 files changed