extensions/markdown-language-features/src/util/tableOfContentsWatcher.ts/MdTableOfContentsWatcher/flushPending
class MdTableOfContentsWatcher:	private async flushPending() {
		const pending = [...this._pending.keys()];
		this._pending.clear();

		return Promise.all(pending.map(resource => this.updateForResource(resource)));
	}