So you followed the instructions and the driver still didn't load.
No matter what you do you can't find the driver.
Looks like the newer versions of the Arduino IDE dont' "trust" the driver installer package which will be downloaded into a hidden folder when you add the board to the Board Manager in the Arduino IDE.
To complete the install and allow the driver to load you must execute the driver installer manually from:
Once this is done you can connect your Digispark and watch the driver load like it should.