> They've pushed AV1 (and other) encoders forward substantially.

AFAIK fansubbers were the first to adopt 10-bit video, way back in 2011.