Would be great if we can install a specific version of an extension using workbench.extensions.installExtension

vscode.commands.executeCommand('workbench.extensions.installExtension', 'publisher.my-extension@0.1.0');