As expected, the Qualcomm enshittification of @arduino has begun. Expressif's ESP32 stuff has already been a better platform for some time... I guess I'll have to learn the ESP-IDF ecosystem now instead of the Arduino IDE.
@herzog @arduino I've been using an Eclipse plugin for ESP development for a while now. Eclipse handles bigger projects (more files, really, and git integration) better than Arduino IDE ever did. Arduino was good to learn on though I've never used an actual Arduino hardware. ATTiny, Teensy, ESP* have always been a better fit for me.
The point is: we have options. Lots of them.

💉*9 Roger