Thanks for making that effort.
I've had success too. I installed the Arminjo boards manager and everything went as the Digispark guide said it would.
What might have caused my problem before is that the disk ran out of space during the installation of the Digistump boards manager. I did it again and it seemed to complete but the compile would not succeed. I suspect it is necessary to remove the boards manager first and install again ensuring it completes in the one operation. I've done that with the Arminjo manager and it compiled and the sketch is running on the board. Yay!
There are still things I don't follow. It's frustrating that I feel I stumbled into success.
Is this the place to ask some questions to clarify things that will seem pretty humdrum to you advanced developers?