I tried several things, and finally deleted everything but the actual .arduino15 directory. The program re-loaded what it wanted to and then ran. Now to try to install the Teensy IDE. I was about to give up. Software has gotten more and more complex, instead of being understandable. I'd rather software take a long time to run, if the alternative is to very quickly fail. I can fix it, if I understand it. It does not have to be that complex, does it?
I assume by this you are saying you will add the appropriate location into the list of additional board manager Urls in the preferences page, and then use the board manager to install support for the Teensy boards.