Added instructions on converting videos to animated gifs.