save redgifs as mp4 3

https://getredgifsvideosaverblog.alderbrief.com/posts/how-a-redgifs-video-saver-makes-content-archiving-easy

Save your favorite RedGIFs clips as MP4 files to keep them handy offline. It's as simple as pasting the link into a converter and hitting download, giving you a local copy that plays smoothly on any device without buffering.