Comment by AbsoluteDestiny

Video codecs compress better than GIFs, so auto playing video elements can be used for this.