ESP32: Outdated version keeps being downlaoded?

[maxgerhardt]

Missing #include headers for core ESP32 GPIO filtering - uptodate packages

The GPIO filtering is available since ESP-IDF 5.x (Espressif Arduino 3.x) which is not available on PlatformIO yet. See Support Arduino ESP32 v3.0 based on ESP-IDF v5.1 · Issue #1225 · platformio/platform-espressif32 · GitHub