message: remove personal changes from launch.json
diff: "type": "extensionHost",
  "request": "launch",
  "runtimeExecutable": "${execPath}",
  - "args": ["--extensionDevelopmentPath=${workspaceRoot}", "/home/jholzl/Projects/lean-scratch/coinduction.lean"],
  + "args": ["--extensionDevelopmentPath=${workspaceRoot}" ],
  "stopOnEntry": false,
  "sourceMaps": true,
  "outFiles": [ "${workspaceRoot}/out/src/**/*.js" ],
  