Note that you can trim about 1/3 of that video by using an online GIF compressor such as https://www.freeconvert.com/gif-compressor https://www.freeconvert.com/

Note that you can trim about 1/3 of that video by using an online GIF compressor such as https://www.freeconvert.com/gif-compressor https://www.freeconvert.com/gif-compressor (no affiliation).