PJ003: External LED + Button with Micro:bit