adds a button to the top-left corner that downloads redgifs videos as mp4.
< Feedback on Yet Another Redgifs Downloader (YARD)
m4s is the exact same as an mp4 file internally, you can change the file's extension to mp4 with no side effects.
There is a script that already downloads it as mp4, I'd rather use that one
Downloads as m4s instead of mp4, much harder to deal with