The name of this repository has been changed to "documentation".  So,
nesting "doc" inside "documentation" looks a bit weird.