Which core for ATTiny85?

jremington:
I had some trouble to install the latest ATTinyCore in Arduino 1.8.9, following the directions on the GitHub site.

Adding this URL
http://drazzy.com/package_drazzy.com_index.json
to Preferences > Additional boards managers list accomplishes nothing, despite changing the order of entries, restarting the IDE, etc. No additional boards appear in the boards list, and no error messages are emitted either. I have two other entries in that list, for the Pololu Astar boards and MiniCore, which work fine.

Problem solved by manually placing the unzipped file in the sketchbook/hardware directory as instructed.

Did you go to Tools -> Boards -> Board Manager and install the new board package? You need to do that - it's not sufficient to just put the URL in the preferences, you need to actually use board manager to install it (assuming you're installing through board manager). Though of course this is beside the point since you've now installed manually (you would want to remove it manually before attempting a board manager installation of the same core, if you wanted to do that).