The video files are often re-encoded using modern codecs like H.265 (HEVC) to ensure the highest possible visual quality while significantly reducing the overall file size.