src/vs/workbench/contrib/notebook/browser/view/renderers/webviewPreloads.ts/CSSHighlighter/dispose
class CSSHighlighter:		dispose(): void {
			document.getSelection()?.removeAllRanges();
			this._currentMatchesHighlight.clear();
			this._matchesHighlight.clear();
		}