I didn't say they did it wrong, I asked a question. It wasn't a rhetorical question.
Anyway, this point might be moot because dav1d has released several versions with further NEON optimizations after the paper
https://code.videolan.org/videolan/dav1d/-/tags/1.1.0