I think it's an increment on this: https://www.videolan.org/projects/dav1d.html

The AV1 decoder is dav1d. The AV2 decoder is dav2d.

One day in the mysterious future the AV3 decoder will be dav3d.

Or a fan of Dangerous Dave 2

https://en.wikipedia.org/wiki/Dangerous_Dave_in_the_Haunted_...

They’re more of a D4vd fan