Eventually, though, real audio became possible, and in turn, video as well. But what of the formats in which we store this media? Today, there are so many—from MP3s to MP4s, old-school AVIs to ...