The Raspberry Pi Pico documentation indicates "if you are intending to develop for Pico on a Raspberry Pi, then you can set up the C/C++ toolchain quickly by running our setup script from the command line".
Does anyone know if the setup script also works on the Raspberry Pi desktop installed on a PC?