Видео запиши. Гифки это вообще не удобно. Разрешение - низкое, ни промотать. А вообще если по уму, то напиши в текстовом виде и прикрепи скриншоты. Будет и читабельно и понятно. А места много не займет.
ImageMagick плох тем, что красноглазие. Надо держать где-то к нему инструкции либо уметь их быстро гуглить, либо иметь скрипты (которые надо написать и опять же где-то держать, а потом суметь быстро найти).
Конечно, когда начинают фигачить гифки или видео не по делу - это ппц. Особенно на Ютубе этим любят заниматься. Надо настроить домашний роутер, находишь видео, там 10 минут трындежа и непонятно чего. Потом оказывается, что можно было обойтись инстуркцией в 20 букв.
Но когда надо показать работу интерфейса, в динамике - видео или гифки бывают удобны.
Насчет превосходства видео над гифками - тоже спорно. Гифку ты можешь встроить в ГитХаб или на локальную веб-страницу. С видео придется давать ссылку на Ютуб. Автоповтор - тоже удобен.
Естественно, они для коротких вещей, секунд на 10-60.
Для окончательной оптимизации GIF рекомендую gifcicle. Оставляет от каждого кадра только разницу с предыдущим. Выигрыш до нескольких раз по сравнению с тем, что делают ImageMagic и FFMPEG по умолчанию.
Но правильно советуют, если есть возможность, видеофайл будет меньше объёмом и качественнее.