Arduino IDE Board Manager - Documentation 404

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.

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