I can't find the post now, but someone questioned my saying that one could download iTunes files in mp3 format. I am now sure that I was wrong and the poster in question was correct. I do not use iTunes, but was confused by the description of the "import" feature, which does allow importing other files into mp3 format.
Sorry for the misinformation.
Sorry for the misinformation.