Actually you can use any download managers 'coz this web-site uses HTTP protocol. You can download it even with your browser.

And wget is a command line utility so it is not a good idea for novice users to use it. There are many freeware download managers that can be used instead.