[fitztrev]

I used the built-in Quicktime Player to do a screen recording. Then I used an online mov-to-gif converter. I had a hard time getting it down to a decent size, though. Hope that helps!