3 ms·

Thanks, but I found it simpler to simply use youtube-dl to download the audio component of a bunch of videos and and do an "mpg123 *" in a background window.