Audacity not encoding mp3 with new Audacity download (OS10.14.6)

Dear Audacity community,

I have recently (ten days ago) downloaded the latest available version of Audacity onto a new laptop. I have been using Audacity for over ten years. When I went to export a new file to mp3, I was directed to the info page on libmp3lame - however, when I went to the download page, it clearly said that LAME is now built-in with Audacity for Mac. If it’s built in, and I have only very recently downloaded, then why doesn’t Audacity start the export?

Can anyone help, please?

Thank you!

Blondie

LAME is built into the current version of Audacity.
The current version is “Audacity 2.3.2”, and it is available via the Audacity website: https://www.audacityteam.org/download/mac/