ElementProxy.hpp not found

[wilyJ80]

Downgraded to ArduinoJson version 6, as described by some resolved issues. I still have a problem going on though 😭 I'm using the simple ESP32 echo example

[victor@victor-82mf bot]$ arduino-cli compile -b esp32:esp32:esp32 .
In file included from /home/victor/src/ino/bot/ArduinoJson-6.21.5/src/ArduinoJson.hpp:29,
                 from /home/victor/src/ino/bot/ArduinoJson-6.21.5/src/ArduinoJson.h:9,
                 from /home/victor/src/ino/bot/ArduinoJson-6.21.5/ArduinoJson.h:5,
                 from /home/victor/src/ino/bot/UniversalTelegramBot-1.3.0/src/UniversalTelegramBot.h:28,
                 from /home/victor/src/ino/bot/bot.ino:24:
/home/victor/src/ino/bot/ArduinoJson-6.21.5/src/ArduinoJson/Array/JsonArray.hpp:7:10: fatal error: ArduinoJson/Array/ElementProxy.hpp: No such file or directory
 #include <ArduinoJson/Array/ElementProxy.hpp>
          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
compilation terminated.

Used library     Version Path
WiFi             2.0.0   /home/victor/.arduino15/packages/esp32/hardware/esp32/2.0.11/libraries/WiFi
WiFiClientSecure 2.0.0   /home/victor/.arduino15/packages/esp32/hardware/esp32/2.0.11/libraries/WiFiClientSecure

Used platform Version Path
esp32:esp32   2.0.11  /home/victor/.arduino15/packages/esp32/hardware/esp32/2.0.11
Error during build: exit status 1