Please consider either changing the software download names to match the thing they are for or including the file download name somewhere in the description on the download page. Today there is no correlation between the two making it very difficult to tell what has already been downloaded and what is still needed. (Hovering over the 'HTTPS' download link does not show the target file name.)
What I click on:
What actually gets downloaded:
Today I have to extract each zip file and then interrogate the version.xml file to figure out what to rename the folder to. It would be so much simpler if the download files were already named this way.