Кстати, кто пользуется Arduino IDE 2.0.
Как-то можно бороться с тем, что:
иногда код не форматируется
иногда ctrl+space говорит, что подсказывать нечего. Переход к определению не работает.
много кода подчёркнуто красным
Само собой, все случаи при корректном коде, он собирается и запускается.