extension: update description

This adds the key word "official", early in the extension's description,
in order to maximise its visibility when users use the in-editor search
UI to find a CUE-related extension and enhance the extension's
reputation.

It also tweaks the remainder of the description for the same
reputational reason, and to promote the extension's primary pair of
features.

Change-Id: I2ee4f49a3f7632727b29bc629cf62cd5ddf21a2f
Signed-off-by: Jonathan Matthews <[email protected]>
Dispatch-Trailer: {"type":"trybot","CL":1222340,"patchset":6,"ref":"refs/changes/40/1222340/6","targetBranch":"master"}

Author: jpluscplusm

extension/extension.cue

@@ -24,7 +24,7 @@ extension: commands: {
 extension: npm: {
 	name:        "vscode-cue"
 	displayName: "CUE"
-	description: "CUE language support for Visual Studio Code"
+	description: "The offical CUE extension for VS Code, providing syntax highlighting and language server integration (LSP) - from the team that builds CUE and cuelang.org"
 	repository:  "https://github.com/cue-lang/vscode-cue"
 	version:     "0.0.16"
 	icon:        "media/white_circle_128.png"

extension/package.json

@@ -1,7 +1,7 @@
 {
   "name": "vscode-cue",
   "displayName": "CUE",
-  "description": "CUE language support for Visual Studio Code",
+  "description": "The offical CUE extension for VS Code, providing syntax highlighting and language server integration (LSP) - from the team that builds CUE and cuelang.org",
   "repository": "https://github.com/cue-lang/vscode-cue",
   "version": "0.0.16",
   "icon": "media/white_circle_128.png",

extension/src/gen_userCommands.ts

@@ -16,7 +16,7 @@ let _config = {
   "npm": {
     "name": "vscode-cue",
     "displayName": "CUE",
-    "description": "CUE language support for Visual Studio Code",
+    "description": "The offical CUE extension for VS Code, providing syntax highlighting and language server integration (LSP) - from the team that builds CUE and cuelang.org",
     "repository": "https://github.com/cue-lang/vscode-cue",
     "version": "0.0.16",
     "icon": "media/white_circle_128.png",