Позже могут появиться другие анимации.
Обнаружилось (10 ноября 2021), что не всякая программа для просмотра видео открывает мои анимации. Они открываются в VLC, в браузере Opera, в Telegram. Ссылки в пдф должны работать после дополнительной настройки, которая может конфликтовать с другими вам привычными. Чтобы избежать этого, даю ссылки отдельно.
Анимации собраны из файлов формата png в консоли Линукса утилитой convert.
Точнее, в bat-файл записана команда
convert -delay 40 -loop 0 $1_*.png $1_ani.mp4
По мнению вебмастера,
полученные файлы содержат "странные" кодеки,
потому и открываются не везде.
Если кто знает опцию,
которая устраняет обнаруженную проблему,
прошу написать мне на университетский адрес эл.почты.