Shorten "documentation" to "docs"

[#54897114]
Merge remote-tracking branch 'common/master' into gh-pages