Creates a sidebar button to download the currently playing gif in the currently selected quality.
I highly recommend using the following instead: https://sleazyfork.org/en/scripts/545472-redgifs-video-download-button
If you still use this script for some reason:
Adds a download button in the sidebar of the active gif.
Some Notes:
Feel free to leave feedback for any improvements
