I never use Arduino or Arduino IDE anyway; it's incredibly laggy for me, and I hate having these things in the cloud. I mainly use Pico and VS Code now.
Setting up the toolchain that's not Arduino IDE is a prohibitively high bar for a school child that wants to blink leds.
Yeah their IDE is basically unusable.
Setting up the toolchain that's not Arduino IDE is a prohibitively high bar for a school child that wants to blink leds.