nickelbake95:
The core I'm downloading is called "arduino-tiny-0100-0015" if that makes a difference. (Found it from the second link at the beginning of this post)
Yep, actually, I had arduino-tiny-0100-0014, so I installed 0100-0015, but no difference.