extensions/markdown-language-features/src/languageFeatures/diagnostics.ts/DiagnosticCollectionReporter/getOpenDocuments
class DiagnosticCollectionReporter:	public getOpenDocuments(): ITextDocument[] {
		const tabs = this.getTabResources();
		return vscode.workspace.textDocuments.filter(doc => tabs.has(doc.uri));
	}