We should all be using animated avifs anyways as the only decent format with good animation support (aka actually compressing it like a video) (yes, for some reason, animated webp, despite being based on a video format, compresses animations like a series of separate pictures…)

And then we can put this debate behind us