That Espressif documentation is outdated. They added a dependency on a “arduno esp32 libs” package.
The Tasmota fork of the ESP32 platform has integration with the latest Arduion-ESP32 3.x. Please use it by just changing your platform.
platform = https://github.com/tasmota/platform-espressif32.git#Arduino/IDF5