How to build Raspberry Pi Pico programs with no software installation #RaspberryPi @petewarden @Raspberry_Pi