src/vs/workbench/api/common/extHostDiagnostics.ts/DiagnosticCollection/delete
class DiagnosticCollection:	delete(uri: vscode.Uri): void {
		this._checkDisposed();
		this.#onDidChangeDiagnostics.fire([uri]);
		this.#data.delete(uri);
		this.#proxy?.$changeMany(this._owner, [[uri, undefined]]);
	}