I think the guide is out of date... the drivers are included once you install them from the arduino IDE. It will attempt to run a .bat file. I had to run this .bat file manually because it's administrator locked on a Windows 10 Pro install.
I bought 5 Digispark Pro's, only 1 did not work. Not bad. :O