Which core for ATTiny85?

Using Arduino Microcontrollers
14

you need to actually use board manager to install

Ahh, I did not realize that step was required, and mistakenly assumed that the IDE was smart enough to install the package automatically, once I gave it the link.

Thanks.