Hi Daniel and Daemon,
We are not using downloads.checkpoint.com for around 10 years or more... Yes, some of those old links might work and you can even play around with their URL and sometimes get decent results.
However this is not the official and supported method of retrieving files from Check Point. This should be done through a search in Support Center. If the file is binary it will be located under "Downloads" tab and if it is a document it will be located under "Documentation" tab.
If this would have been done with the file mentioned above, R80.40 JHF Take 114, you would reach its correct landing page, https://supportcenter.checkpoint.com/supportcenter/portal?action=portlets.DCFileAction&eventSubmit_d... , which looks perfectly fine.