adds a button to the top-left corner that downloads redgifs videos as mp4.
Estas são as versões deste script em que houve atualização do código. Mostar todas versões.
Changed GM_download to GM_openInTab. Directly downloading the video was having problems on certain platforms. also added some console logs so i can troubleshoot easier.
