Probably due to program updates expanding the supported formats, but the Audacity write-up should be changed.
The Audacity download page shows:
Edit Ogg Vorbis, MP3, and WAV sound files.
But Audacity's home page description shows:
Edit WAV, AIFF, FLAC, MP2, MP3 or Ogg Vorbis sound files.
Thanks!