<!-- Un-comment the lines for the applicable doc issue type and delete the others. -->
<!-- Un-comment the line for the applicable doc issue type to add its label.
Note that all text on that line is deleted upon issue creation. -->
<!-- /label ~"docs:fix"
<!-- /label ~"docs:fix" - Correction or clarification needed. -->
Correction or clarification needed. -->
<!-- /label ~"docs:new" - New doc needed to cover a new topic or use case. -->
<!-- /label ~"docs:improvement" - Improving an existing doc; e.g. adding a diagram, adding or rewording text, resolving redundancies, cross-linking, etc. -->
<!-- /label ~"docs:new"
<!-- /label ~"docs:revamp" - Review a page or group of pages in order to plan and implement major improvements/rewrites. -->
New doc needed to cover a new topic or use case. -->
<!-- /label ~"docs:other" - Anything else. -->
<!-- /label ~"docs:improvement"
Improving an existing doc; e.g. adding a diagram, adding or rewording text, resolving redundancies, cross-linking, etc. -->
<!-- /label ~"docs:revamp"
Review a page or group of pages in order to plan and implement major improvements/rewrites. -->
