Arduino IDE Board Manager - Documentation 404

[mark2]

I’m trying to setup the Arduino IDE to work with the A0. The documentation points to following instructions here, but the link is bad.

[aaronc7]

I had the same issue and dug around and found this:

Installing — Arduino-ESP32 2.0.0 documentation