Merge pull request #15760 from mikebrow/9235-improve-documentation

Improvement to userguide/dockerrepos/ documentation