The official tag "documentation" got changed to "doc" to match it with the bug reports which get generated by merged commits with a "DocImpact" in the commit message.
The official tag "documentation" got changed to "doc" to match it
with the bug reports which get generated by merged commits with a
"DocImpact" in the commit message.