src/vs/workbench/contrib/preferences/browser/preferencesSearch.ts/RemoteSearchProvider/getExtensionFilter
class RemoteSearchProvider:	private getExtensionFilter(ext: ILocalExtension): string {
		const uuid = ext.identifier.uuid;
		const versionString = ext.manifest.version
			.split('.')
			.map(versionPart => String(versionPart).padStart(10), '0')
			.join('');

		return `(packageid eq '${uuid}' and startbuildno le '${versionString}' and endbuildno ge '${versionString}')`;
	}