MPV chooses the slow AV1 decoder

I noticed that our MPV cannot play back AV1 videos in real-time on my

Thinkpad x230 laptop.

MPV gets AV1 playback support from FFmpeg. Our FFmpeg package includes

both the libaom and dav1d AV1 decoders. I think that MPV is using

libaom, and that is too slow.

I rebuilt FFmpeg without libaom, and MPV can play my AV1 test file fine

now, using dav1d.

I wonder, is there a way to change the preference?

After 4 years, many upstream releases of mpv and FFmpeg, and a new

laptop, I'm closing this bug as "not actionable".