LAME mp3 driver no longer needed to export to mp3 format ?

Audacity 2.4.2

New laptop.
I used to install some LAME mp3 encoder to export to mp3 format.
This time, I did not need to do this.

Is mp3 export now built into Audacity?

Above is correct.
I should have searched first.

A qualified “Yes”.

Audacity 2.4.2 is so smart, it greys out the export options when there is nothing recorded yet!
I almost asked for a ‘fix’.
Sorry- newbie.