message: Use VScode's builtin JSON parsing
diff: @@ -133,12 +133,11 @@ export function activate(context: vscode.ExtensionContext) {
  });
  // Load the language-configuration manually, so that we can set the wordPattern.
  - loadJsonFile(context.asAbsolutePath("language-configuration.json")).then(json => {
  + let json = vscode.Uri.file(context.asAbsolutePath("language-configuration.json")).toJSON();
  json.wordPattern = /(-?\d*\.\d\w*)|([^\`\~\!\@\#\$\%\^\&\*\(\)\-\=\+\[\{\]\}\\\|\;\:\'\"\,\.\/\?\s]+)/g;
  context.subscriptions.push(
  - vscode.languages.setLanguageConfiguration(LEAN_MODE, json)
  + vscode.languages.setLanguageConfiguration("lean", json)
  );
  - })
  // Register support for definition support.
  context.subscriptions.push(
  