No matter if I download from the official Arduino page, Firehorse or elsewhere
the exact same thing occurs-it fails to download then downloads on the very first retry. Every time.
Can you download it to the desktop PC, copy it to the laptop then run it ?
What is "Firehorse"? You definitely should not be downloading the Arduino IDE from anywhere other than the official downloads page on this website.That's not the problem I'm talking about. I'm talking about the problem of the filename being wrong. That indicates something is wrong on your computer that has nothing to do with Arduino.
Would I copy from the list of programs?