A small question: I am thinking of using ESP32 LOLIN32 boards to connect with the LEGO poweredup modules, as they combine decent bluetooth and built-in lythium batteries on a small PCB. But the ESP-IDF suite is this bigger-than-auditable download of scripts from a Chinese company, so my brain's security leds started blinking. Is there any way to do, for example, gcc development from the debian repositories.