Remove extra "Docker" from docs index
Merge pull request #6761 from fgrehm/patch-1

Remove extra "Docker" from docs index