More stuff about converting videos to gifs.