Demos sure are important, however I would advocate using videos (.mp4) instead of GIF. That way you can pause and seek the video, to get better idea what's going on.

So many times I've come across demo GIFs/animated shell sessions that "type" at about 1000 characters a minute, and the animation loops over before I even had a chance to blink.