it uses ffmpeg. If there is, for example, a new DivX version it could be possible that VLC doesn't play videos encoded with that specific DivX version properly because that new DivX version isn't bundled with the ffmpeg codec pack yet? I am just wondering because sometimes VLC doesn't play videos p...