“The David AV1 decoder is estimated to be running on approximately 3 billion devices.”