Thanks Dave, any idea how ogg vorbis stacks up to the others quality-wise?
i suppose that, like mp3, it depends on the bitrate they are encoded at. i\'m not sure what bitrate archive.org encodes to.
if it were me, and i really wanted a lossy format to put on my ipod or something, i\'d probably just download the flacs and convert them to ~320kb/s mp3s myself.