Yeah, that's definitely an option I should investigate. I also heard you could use ffmpeg to convert videos to gifs?
Yeah, that also might be possible, but I'm not sure. I think I've heard something like that around the Internet.
