Can't get the SDK to install on a Mac in the UK

[ThrudTheBarbarian]

Describe the bug
Installation of the Pico SDK fails with

2025-12-06 22:09:22.113 [error] [Window] [Extension Host] [�[31mERROR�[0m] [raspberry-pi-pico - download] Downloading or extracting SDK Tools failed: unable to get issuer certificate
2025-12-06 22:09:22.113 [error] [Window] [Extension Host] [�[31mERROR�[0m] [raspberry-pi-pico - NewProjectPanel] Failed to download and install tools.

Extension Logs
See above ?

To Reproduce

1. Get a Mac, open Terminal.app
2. run 'brew install --cask visual-studio-code'
3. run 'xcode-select --install'
4. run 'code'
5. Install Raspberry Pi Pico extension - see it appear on the LHS
6. click on the extension icon
7. click on 'new Project From Example'
8. fill out the form, choose an example (blink, ...)
9. hit 'create' in the bottom right corner

[I see the SDK download progress apparently complete, and the project directory is created and populated with a .c and CMakefiles.txt]

Expected behavior
SDK to install and the project to build (I hope, haven't got that far)

Platform (please complete the following information):

• OS: MacOS 15.5
• Architecture: Arm64

[will-v-pi]

2025-12-06 22:09:22.113 [error] [Window] [Extension Host] [�[31mERROR�[0m] [raspberry-pi-pico - download] Downloading or extracting SDK Tools failed: unable to get issuer certificate

This error suggests that your Mac's certificates may be out of date - are you able to download the tools directly from https://github.com/raspberrypi/pico-sdk-tools/releases? This may also be an issue with the homebrew VS Code cask - could you try downloading and installing VS Code directly from their website and see if that works any better?

I'm unable to reproduce this issue on my Arm64 Mac running MacOS 15.5 in the UK when using VS Code from their website