extensions/markdown-language-features/src/util/tableOfContentsWatcher.ts/MdTableOfContentsWatcher/onDidDeleteDocument
class MdTableOfContentsWatcher:	private onDidDeleteDocument(resource: vscode.Uri) {
		this._files.delete(resource);
		this._pending.delete(resource);
	}