TIL how to convert an m4a to mp3 on macOS. ffmpeg handles this in one line:

ffmpeg -i input.m4a output.mp3

There are, of course, more options. I just needed to get something out of Voice Memos and into an mp3 so could upload it to Yoto Daily, which only accepts mp3 files.