[1718627440]

> That and you can use an actual editor instead of the arduino "IDE"

Note that the Arduino IDE has a setting to edit files using any random program instead.