Time is a limited resource

I wanted to listen to some recordings of foreign language study courses but they were available only as MP4 videos. And when you play them on your phones or tablets, they will be paused if you navigate away from the screen. It's video. You need to be looking at it for it to play. But I wanted to listen to them during my commute, which means I need to be walking and not staring at the screen the whole time. I looked for ways to workaround the video-gets-paused limitation but I found that converting it to mp3 is fast, and doesn't cost a penny. First, to share the script. I keep it here . Copy as zip, or clone the converter script from the link above. Go to the folder "mp4-mp3-converter and confirm that you have the file convert.bat inside. For Windows, download FFMPEG here . Save the ZIP file and unpack it. Let's assume you unpacked it on the desktop. You will see a folder with a name that looks like :  ffmpeg-2016xxxx-{some-numbers}-win64-static, the fol...