mpv прям хорош

https://en.wikipedia.org/wiki/Mpv_player
В продолжении вчерашнего bc7954cf5910fb3fdf35af90597c04880eb9d227.
mpv полностью весь нужный мне функционал как проигрыватель, пока
удовлетворяет. Даже больше и лучше:

* mplayer по расширению файла мог только автоматически подключить опции
  по аппаратному декодированию видео. mpv же просто автоматически это
  умеет делать -- теперь это вообще не забота пользователя
* однако для этого требуется настройка: надо аппаратное декодирование
  включать, плюс добавлять туда кодеки которые ради безопасности
  выключены
* теперь не нужен VDPAU и прослойка для него до VAAPI! Это привело к
  тому, что у меня аппаратно декодируется VP8 (но не VP9, который
  реально был бы полезнее, ибо FullHD на нём я не могу в real-time
  декодировать). 71154f45d9f366207838a37a870434857d0652a0: остаётся
  только VAAPI который в конфиге включить и забыть
* gapless проигрывание аудио -- ради этого я уже мог бы перейти
* реально более быстрая перемотка

Главная проблема: непривычно всё после mplayer. Но если бы изучать все
эти сотни опций с нуля, то в mpv они все логичнее, аккуратнее сделаны.
Кодировать ещё не пробовал, но по сути там просто пробрасываются опции
до ffmpeg и нижестоящих кодеков (типа libvpx). Но вроде всех фильтров и
опций хватает.