Does ffmpeg support or intend to support decoding the VP7 codec? I saw it supports VP8 through libvpx. What about VP7? Is it possible to decode it? I'm asking because I know it is a proprietary codec. Thanks in advance.