Acabei de descobrir que é possível usar Eclipse para programar arduinos: https://www.youtube.com/watch?v=EZyB5I63jSc

Aquela IDE que vem por defeito para arduinos é engraçadinha para coisas pequenas.

A PlatformIO parece competente para coisas mais avançadas mas ambas parecem recuar no tempo em termos de programação. Coisas tão simples como verificar o sintaxe enquanto se escreve para ser coisa alienígena para esses editores.