Comment by chaosprint

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.