Иван, спасибо, получился самый лучший результат из всего, что я пробовал - сервисов, программ и мануалов! <1МБ, качество прекрасное!

ПС для поиска: Как сделать анимированный GIF из видео MP4  - см. выше совет Ивана Андреевича Денисова.