VLC can extract audio from any of the numerous enter sources it helps, and write this audio to an audio-file in quite a lot of codecs. Nice merchandise which takes audio from HDMI and out to another supply. I have had it working nicely to …