message: docview: open documentation without asking
diff: @@ -35,12 +35,8 @@ export class DocViewProvider implements Disposable {
  if (!fs.existsSync(join(workspace.rootPath, 'leanpkg.toml'))) return;
  const projDoc = findProjectDocumentation();
  if (!projDoc) return;
  - const openDoc = 'Open project documentation';
  - const choice = await window.showInformationMessage('Documentation exists!', openDoc);
  - if (choice === openDoc) {
  await this.open(Uri.file(projDoc).toString());
  }
  - }
  private async tryIt(code: string) {
  const doc = await workspace.openTextDocument({language: 'lean', content: code});
  