$ 0 0 Does this imply that "AVI" is actually compressed? Why are codecs mixed with file containers/extensions in the list?