Unfortunately, I'm running into a problem. To create a first ESP32-based sample project for our IDE, I was observing the build-output at maximal verbosity in the Arduino IDE. It occurred to me that a lot of precompiled libraries (archives) are being used:

In Embeetle, we try to avoid precompiled libraries. You see, they break the code navigation. If a user clicks on a function call, he expects to jump to the function definition. If that function is defined in a precompiled library - the code navigation doesn't work.
Where can I find the source code for all these precompiled libraries?
Thank you for your help.
Kind regards,
Kristof Mulier
