Eu não tenho o mpv
instalado, mas isso parece mais um aviso do grotty
(o programa que processa fontes man pages para imprimi-lo na saída padrão) provavelmente vindo de páginas do manual não compatíveis. Você já tentou
man mpv 2> /dev/null | grep dvdnav
Isso redirecionará o erro e os avisos de grotty
para o coletor, para que você tenha uma saída mais limpa.
No entanto, esse erro é provavelmente um bug na página mpv
man (ou em grotty
, você nunca sabe).