src/vs/workbench/api/browser/mainThreadNotebookKernels.ts/MainThreadNotebookKernels/_onEditorRemove
class MainThreadNotebookKernels:	private _onEditorRemove(editor: INotebookEditor) {
		this._editors.get(editor)?.dispose();
		this._editors.delete(editor);
	}