> If anything, he should be using a newer codec like AV1 that's also widely supported.

I don't think that's accurate, since the first Apple processors with AV1 support only came out in late 2023 (A17 Pro, M3).