Fix the Visual Studio Code tasks configuration file (#2448)

This fixes the Visual Studio Code tasks configuration file
(`.vscode/tasks.json`), which somehow got corrupted, meaning
that it was no longer valid and didn't work.

.vscode/tasks.json

@@ -1,46 +1,3 @@
-{
-  "version": "2.0.0",
-  "tasks": [
-    {
-      "label": "Build",
-      "command": "dotnet",
-      "type": "shell",
-      "args": [
-        "build",
-        "/property:GenerateFullPaths=true",
-        "/consoleloggerparameters:NoSummary"
-      ],
-      "group": {
-        "kind": "build",
-        "isDefault": true
-      },
-      "presentation": {
-        "reveal": "silent"
-      },
-      "problemMatcher": "$msCompile"
-    },
-    {
-      "label": "Format",
-      "command": "dotnet",
-      "type": "shell",
-      "args": ["format"],
-      "presentation": {
-        "reveal": "silent"
-      },
-      "problemMatcher": "$msCompile"
-    },
-    {
-      "label": "Run docs server",
-      "command": "mkdocs",
-      "type": "shell",
-      "args": ["serve"],
-      "presentation": {
-        "reveal": "silent",
-        "revealProblems": "onProblem"
-      }
-    }
-  ]
-}
 {
   "version": "2.0.0",
   "tasks": [