message: Update vscode-lean4/src/utils/clientProvider.ts
  Apply CR comments
diff: @@ -211,7 +211,6 @@ export class LeanClientProvider implements Disposable {
  // Returns a boolean "true" if the LeanClient was already created.
  // Returns a null client if it turns out the new workspace is a lean3 workspace.
  async ensureClient(uri : Uri, versionInfo: LeanVersion | undefined) : Promise<[boolean,LeanClient | undefined]> {
  - console.log('### Uri: ${uri}');
  const [workspaceFolder, folder, packageFileUri] = await findLeanPackageRoot(uri);
  const folderUri = folder ? folder : Uri.from({scheme: 'untitled'});
  const path = folderUri.toString();
  