src/vs/workbench/api/browser/mainThreadNotebookEditors.ts/MainThreadNotebookEditors/handleEditorsRemoved
class MainThreadNotebookEditors:	handleEditorsRemoved(editorIds: readonly string[]): void {
		for (const id of editorIds) {
			this._mainThreadEditors.get(id)?.dispose();
			this._mainThreadEditors.delete(id);
		}
	}