Audacity usually doesn't include the MP3 encoder so folk that dive in and missed reading the install notes would ask your questions.

My question is thus: What audio encoder was used?