Hi @curmudgeon_too. Which page did you use as the entry to the IDE download sequence?
The reason I ask is because I remember some other people having troubles with this and it turned out there is some zombie "Software" page that is all messed up. Once people went to the page you get to from the "SOFTWARE" tab on the arduino.cc webpages, they found it was working correctly.
I don't remember exactly. I am fairly certain the "Software" link was embedded in a tutorial I was reading. It was not a direct access from arduino.cc.