Adds a button for directly downloding the original GIF images to the side menu. Uses the given GIF title as the local filename.
These are versions of this script where the code was updated. Show all versions.
