“The open-source encoder x264 dominates internet video and is also widely used for creating Blu-ray discs.”