While I have known for some time that Camtasia can output a video to an animated GIF, I never had need of it previously. But as I was updating my search bookmarklets page, I thought that it would be nice to have a visual example of how the transfer search bookmarklets work. So using Camtasia Studio 5, I recorded a short video (without audio), edited it a bit, and then generated it as an animated .gif.
Camtasia gave me several settings to choose from, including how many times to repeat the animation. I went with 3 and added ending title slide so that it would end on that description of demo. One great advantage of an animated .gif is that is is very easy to embed it in a blog post like this one or on a Web page like the search bookmarklets page.