3 ms·

Thanks - the page is very focused on the ESP32, and I missed the "Build for Linux" section in the middle.