adds a button to the top-left corner that downloads redgifs videos as mp4.
Adds a button to the top-left corner of any variant of redgifs.com that opens the video in a new tab as an mp4. Wowza!
sometimes it downloads as an m4s file, they are the same as mp4 files internally and you can just change the extension to mp4 with no side effects.
Personally Tested On:
(these are working as of 4/4/2025, but if you are from the grim dark future of the 41st millennium then it might not.)
Firefox (Windows) - WORKS
Opera/OperaGX (Windows) - WORKS
Chrome (Windows) - WORKS
Firefox (Android) - WORKS (as of 0.1.1 and later)
User-Tested On:
Chrome (ChromeOS) - WORKS (as of 0.1.1 and later)
Vivaldi (Unspecified OS) - WORKS
