Is there any way to build a C++ Raspberry Pi Pico binary without having to install Python. It's quite heavyweight and feels quite unnecessary (I do like tidy toolchains without huge bloat and an additional attack surface on my machine).
Note that I'm on Windows, and do realise that non-Windows toolchains may not require Python at all