also, don't forget - actual video format is better for animated stuff. Current default approach is .webm which is standardized .mkv container + vp9 (or av1) video + opus audio (usually no audio to as a feature parity to gif). IMO animated picture formats like .avifs are very backwards and don't add much

One advantage to animated AVIF is that it supports an alpha channel, which AV1 doesn't. But I guess that just points to how short-sighted it was for AV1 to omit alpha channel support.