Конвертировать gif в HTML5 - можно ли автоматически?

Не стебусь. Возможно, не совсем корректно ставлю вопрос, так как не все тонкости понимаю)
Преобразовать нужно рекламные баннеры для сайта. Вот пример баннера в gif : https://drive.google.com/file/d/1T3QR_gm7xHyzzuIAn...

Конвертировать gif в HTML5 - можно ли автоматически?

Виталий, нужен размер на порядок меньше. т.е. исходный креатив прим. 1 Мб, а целевой размер до 100 Кб. Так что просто mp4 не подойдёт