bug#39703: MPV chooses the slow AV1 decoder

[Leo Famulari]

After 4 years, many upstream releases of mpv and FFmpeg, and a new
laptop, I'm closing this bug as "not actionable".