TEMP: Only allow internal extensions (Pico/WeDo)