VLC can extract audio from any of the numerous input sources it helps, and write this audio to an audio-file in a wide range of codecs. Now here's the (probably) cringe-making bit: I am slowly ripping my CD collection as I are likely to ru…