In 2019, Arduino launched a new development environment called Arduino Pro IDE, which will (probably) replace the classic Arduino IDE at some time. The problem is that the original product is only a ...