Hi, I'm playing with an esp32 dev board for the first time now. I've setup the esp-idf and everything is working as it should and so far I'm impressed! I'm planning to write code for the esp32 in C++ while avoiding the arduino.h There are 2 Libraries in the arduino-esp32 repo that I'd still like to ...