considering that HEIF is based on HEVC, wouldn't "HEIF animations" just be HEVC videos?
https://news.ycombinator.com/item?id=26298606
GIFs have a nice convenience to them that straight-up video files lack