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.
If your target audience is school kids, you really can't go past the micro:bit and Makecode[3].
2. https://projects.raspberrypi.org/en/projects/getting-started...