I started fooling around with some arduino stuff last year. I installed the arduino IDE package from the Debian repositories, and it pretty much just worked, for the most part. Recently I acquired some ESP32 boards that I'd like to play with, and the first thing they tell you to do (in...