I've been using MySQL since 1998, and am well aware that there is a commercial version as well as the open source one. It's the community version I was trying to download.
The fact that me, a guy who's downloaded and installed this software a dozen times in 11 years, got completely shut down trying to download it this time says a lot about the usability of that site these days.
You may have been trying to download the enterprise version.