save redgifs as mp4 2

https://bluecircuitry.com/s/okf8_ucPm9mNsbkIIHU3Y

So you found a RedGIFs video that's way too good to lose, you can grab it as an MP4 using a simple downloader or a browser extension that fetches the direct video file, so you can save it offline or share it wherever you want without the link.