How to convert STEREO audio files to MONO in batch, using free software

Typically, to convert stereo to mono, I would load up the audio files, one by one, into my favorite free audio editor (Audacity), and take it from there. But the obvious problem with this approach when you need to transform multiple files is that it can be very time consuming. Instead, I needed to find