The pull request to have the board built into the
Arduino ESP32 hardware was closed for inactivity - Just Adafruit ESP32 Feather
The ESP32 hardware's master branch is no longer broken
and thus the workaround is no longer required - Install as normall per their instructions