src/vs/platform/extensionManagement/node/extensionsWatcher.ts/ExtensionsWatcher/removeExtensionWithKey
class ExtensionsWatcher:	private removeExtensionWithKey(key: string, profileLocation: URI): void {
		const profiles = this.allExtensions.get(key);
		if (profiles) {
			profiles.delete(profileLocation);
		}
		if (!profiles?.size) {
			this.allExtensions.delete(key);
		}
	}