I'm running Arch linux, I have installed the SDK then cloned pico-examples, pico-playground and pico-extras and added them to PATH in my .bashrc I have also added export PICO_SDK_PATH=/usr/share/pi...