Hello, I am trying to find the ESP32 toolchain for Arduino 1.8.5 to be used on a Rapsberry Pi 3b+ targeting the Adafuit ESP32 Feather Huzzah32 board. Following the Adafruit tutorial about adding the link under preferences to add the board package, it shows in the board manager etc. I hit the install...