extensions/markdown-language-features/src/languageFeatures/diagnostics.ts/DiagnosticCollectionReporter/delete
class DiagnosticCollectionReporter:	public delete(uri: vscode.Uri): void {
		this.collection.delete(uri);
	}