It's a bit unclear and I didn't ask follow-up questions, but there's an educational kit for 200 HKD which I believe includes several different devices that all run micropython and come with a convenient plastic box with compartments -- one device with WiFi, one that can flash LEDs, etc.