Cannot get Board Manager to show the microcontrollers attiny84 and 85

Please follow these instructions:

If you run into any problems, come back with a detailed description and I'm sure we'll be able to help you out.