This was a very fascinating writeup. Video codecs are still sorcery to me, but I was kind of blown away by how many individual operations are employed in shedding redundancy. I kind of assumed that there was a single flat algorithm being employed, not a dozen or so special case optimizations that by some stroke of magic play so nicely together.