[Non standard port for download]

Hi, I am sitting behind a corporate that does not allow access to non standart ports. The only download link that appears on the site uses port "8090" for file access.

Is there some alternative mirror for dowload using standard "80" port?

Thank you,