GIFs already had animation. Netscape added an animation loop counter.

For a rough idea of the complexity involved, when I wrote a GIF decoder and renderer a few decades ago, implementing the loop counter extension took me about 10 minutes.

Thanks, updated comment. I had misread the GIF wikipedia page.