An AVIF and a WebM + AV1 is basically identical file-size wise, but you can zoom in on an AVIF so for actual animated images it wins on that front.