If you do a wget on the link it does not download as .zip

copied the ARM link to clipboard, did wget on the link
it dowloaded as arm not arm.zip
It does unzip, but this might confuse users…

Great catch John!! Also, thanks for the idea on the wget, we’ll likely be updating the docs to let people know thats an even faster way to get it on their server. I’ll add the lack of the .zip extension to my feature list.