src/vs/workbench/api/browser/mainThreadNotebookKernels.ts/MainThreadNotebookKernels/$removeKernel
class MainThreadNotebookKernels:	$removeKernel(handle: number): void {
		const tuple = this._kernels.get(handle);
		if (tuple) {
			tuple[1].dispose();
			this._kernels.delete(handle);
		}
	}