Voice recordings in MP3 format

Until (if & when) that happens, you can record in .wav format & use Audacity (free audio-editing software) to convert it to .mp3 (smaller file size). This, obviously is a little more labor-intensive than just ‘press & record’ but it will do the job.