message: Update vscode-lean4/src/utils/leanInstaller.ts
diff: @@ -52,7 +52,7 @@ export class LeanInstaller {
  if (executablePath() !== 'lean') {
  this.outputChannel.appendLine('It looks like you\'ve modified the `lean.executablePath` user setting.');
  - this.outputChannel.appendLine('Please change it back to a \'lean\' before installing elan.');
  + this.outputChannel.appendLine('Please change it back to \'lean\' before installing elan.');
  return false;
  } else {
  const terminalName = 'Lean installation via elan';
  