For example, if people ask "which device to buy?" we can show a list in the docs or at toit.io Both ESP32 chips and the M5Stack Core2 https://www.mouser.dk/new/m5stack/m5stack-core2-iot-dev-kit/ and others??