Add quotes on label names

.gitlab/issue_templates/Documentation.md

@@ -13,19 +13,19 @@
 
 <!-- Un-comment the lines for the applicable doc issue type and delete the others. -->
 
-<!-- /label ~docs:fix
+<!-- /label ~"docs:fix"
      Correction or clarification needed. -->
      
-<!-- /label ~docs:new
+<!-- /label ~"docs:new"
      New doc needed to cover a new topic or use case. -->
      
-<!-- /label ~docs:improvement
+<!-- /label ~"docs:improvement"
      Improving an existing doc; e.g. adding a diagram, adding or rewording text, resolving redundancies, cross-linking, etc. -->
      
-<!-- /label ~docs:revamp
+<!-- /label ~"docs:revamp"
      Review a page or group of pages in order to plan and implement major improvements/rewrites. -->
 
-<!-- /label ~docs:other
+<!-- /label ~"docs:other"
      Anything else. -->
 
 ### Problem to solve