Does ESP32-S3 Library intended for import into Arduino IDE?

Is the ESP32-S3 library referenced on this documentation page intended to be imported into Arduino IDE via Sketch → Include Library → Add .ZIP library? When using Arduino IDE 2.3.5, I encountered the following error:

‘Error: 13 INTERNAL: Library install failed: moving extracted archive to destination dir: library not valid’

The main library is Arduino Setup - SparkFun Thing Plus - ESP32-S3 (the Espressif one)

The one you’re asking about is just our in-house bonus sketches/examples, and you can save that folder anywhere…extract the ZIP first and just Open Arduino IDE and ‘Open’, then navigate to where the folders are…the extra examples are under ‘firmware’

Thank you for the explanation.