Dear VLC developers/users, I'm still not 100% sure this is a bug in VLC and not in the encoding tools I use, but at this point VLC is the only player that has the problem described below. Here's what happens. Let's take a source video, say a 720p ogg Big Buck Bunny and encode [a part of] it in three...