As others have pointed out, GIFs are huge. They're also limited to 256 colours, and generally look crappy. I'm using the technique that Sublime Text uses on its homepage [0]. There's a lot more faffing around producing them, but the results are excellent.

    [0] https://www.sublimetext.com/~jps/animated_gifs_the_hard_way.html.