Hi @trullock, first things first I don’t believe anyone here is idiot, we all continuously learn the unknown to us.
Yes, as you’ve spotted, ESP-Arduino-Builds holds the out builds. It’s because a silly reason: I couldn’t copy directly from the virtual machine (builder) to the host machine :), so transfer it via GitHub.
I only fiddle with LwIP so any other tweaks comes from syncing with esp-idf or arduino component which is done by the ./build.sh script.
After getting the output I copy manually the output files into the suitable locations of them within the customized arduino-esp32 repository, trying not to delete other files and folders present prior to that.
I think you can have good use of this comment, you might try his built tools to shorten the manual work.