src/vs/workbench/contrib/extensions/browser/extensionsViews.ts/ExtensionsListView/updateSize
class ExtensionsListView:	private updateSize() {
		if (this.options.flexibleHeight) {
			this.maximumBodySize = this.list?.model.length ? Number.POSITIVE_INFINITY : 0;
			this.storageService.store(`${this.id}.size`, this.list?.model.length || 0, StorageScope.GLOBAL, StorageTarget.MACHINE);
		}
	}