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": [