The open source community released the first DAV1D codec based on AV1