Indeed it is. But that wasn't my problem.
I have to use public access computers for large downloads (usually anything over a couple MB in size). Recently the IT folk who manage these have found it difficult to deal with so-called enterprise versions of Internet Explorer (IE) and Google Chrome, especially the former. (Firefox apparently has no enterprise version and so is not an option.)
What I come up against is going to, say, the above URL via IE, only to find that the download button is disabled. I then go to Google Chrome where that isn't the case (where attempts to download only do so to the public access computer which doesn't allow retrieval). I discovered that by right-clicking on the download button and pasting the URL to the clipboard I can then paste same into the address window in IE and thereby download the content of the URL. A major PITA but doable.
So, done and done.