i put the preceeding post about ogg vorbis in my drafts and then, considering my own advice but not thinking the post good enough to publish immediately, decided to use vorbis as the audio codec for some videos I'm saving as part of a project, entirely forgetting that I need all the videos to have identical codecs, and now not only do I have to go back and change them all to mp3, there will be imperceptible generation loss from encoding the audio a second time