В чём принципиальное отличие <video src="animation.webm"></video>
и <img src="animation.gif">
, кроме того что animation.webm и animation.gif — это всего лишь файлы в разных форматах? Семантически и с точки зрения пользователя результат одинаковый, а плюсом последней конструкции является то что она короче и старее. Если дело только в наличии контролов для управления видеороликом — это можно было бы реализовать дополнительными атрибутами в теге <img>, не вводя новый тег с дублирующим назначением.