Gene Heskett composed on 2020-06-16 09:23 (UTC-0400):

> Crazy, and it sure as tootin isn't an operating improvement, nothing 
> points me to mpv to play an mp4. mpv does have one, I just found it 
> thank you Mike, but there ought to be an alias setup that gets you mpv's 
> man page when you type man mp4, and get nothing.
	apropos <string>
e.g.
> apropos mpv
mpv (1)              - a media player
-- 
Evolution as taught in public schools is religion, not science.

 Team OS/2 ** Reg. Linux User #211409 ** a11y rocks!

Felix Miata  ***  http://fm.no-ip.com/