Много раз искал, чем сжать видео. В это раз нашёл пакет, работающий без графинтерфейса, но хорошо жмущий без заметной потери качества.

Насколько уменьшится видео зависит от свойств исходного файла. Мой результат не такой ошеломляющий, как у автора ролика, но он лучше всего, что перепробовал.