interesting, I've been using quicktime's native screen recording feature. Converting from mov to gif would probably take another tool though, probably ffmpeg