Yeah I suppose it’s named after dav1d but still seems like a pretty unfortunate name collision.