Thanks for a great tutorial. May I suggest that you replace the pico example build so that it uses Ninja. Ninja is much typically faster than make, and it is the modern way of compiling with cmake:
cd pico-examples
cmake -GNinja -DPICO_SDK_PATH=../pico-sdk .
ninja