src/vs/editor/browser/services/editorWorkerService.ts/EditorModelManager/_stopModelSync
class EditorModelManager:	private _stopModelSync(modelUrl: string): void {
		const toDispose = this._syncedModels[modelUrl];
		delete this._syncedModels[modelUrl];
		delete this._syncedModelsLastUsedTime[modelUrl];
		dispose(toDispose);
	}