Hi, I cam across a set of .ogg files, what are these? I saw on another post that you can convert from MP3 to ogg, can you the the reverse?

Thanks
BTW, I'M a Linux newb...