I worked at Adobe in those days and AFAIK this is correct. The Flash player includes a bunch of codecs (mp3, on2, nellymoser, sparc, and I think others), and I

I worked at Adobe in those days and AFAIK this is correct. The Flash player includes a bunch of codecs (mp3, on2, nellymoser, sparc, and I think others), and I believe there's a variety of other licensed code but I don't remember the details.