If anyone wants to build this sort of thing the new Raspberry Pie Pico 2 is both orders of magnitude more capable than the chip used here and also around half the price.
It's by far the best value for money for an introductory 32bit ARM/Risk embedded device right now.