mp3 encoding

I have downloaded the latest version of Audacity and I ant to save my file as an mp3 file. I see that I need an mp3 encoder but when I tried clicking on the “get a free copy” button Explorer comes up with a message Oops! Internet Explorer could not connect to I have tried this several times with the same result. Is there an alternative site?

Try the instructions here:
We are not able to host the encoder ourselves, so the download page is a third party site. To ensure that you download the right thing, take care not to click on any of the other advertised software, use only the text links as described.

Thank you. This time it worked. It certainly wasn’t working earlier today :wink: