Fair enough, I guess each to his own. If you use a distro of your choice and apply a methodology that works for you, then far be it from me to tell you how to do it. Enjoy.
I'm an Arch user, so before I come across as disingenuous, I need to clarify that I just like to stick with 'pacman' as much as possible so that my install stays as "clean" as possible. Most of the time If I can't find something in pacman I can get it in the AUR. "Varia" isn't found in the AUR yet and in such cases I'll go to github and install it from there.
"Varia supports some basic functionality you'd expect, such as resuming incomplete downloads upon relaunch, but right now doesn't support saving files outside of your default download directory. I want to change this in the future while still having a minimal set of permissions with Flatpak."
giantpinkrobots on github
Big game changer for me is that it doesn't support saving files outside of the default download directory. Anything to do with 'Flatpak' is of a concern to me as well.
I'm on Arch and also use a few extensions namely:
❤️ Freon: Displaying the temperature of your CPU, hard disk, solid state, and video card (NVIDIA, Catalyst, and Bumblebee supported), as well as power supply voltage, and fan speed.
OpenWeather is my other main one, but this is unfortunately broken for Gnome 45. 😪
Other minor ones all working:
Arch Linux Updates Indicator
Applications Menu
Places Status Indicator
ArcMenu [Bit of overkill I know, but I like it] 😀
Sorry, was just trying to help. Try what @Cowfodder suggested.
Open GIMP
Go to "File" > "Open" and select your GIF.
Select the "Crop Tool" from the toolbox.
Adjust the crop area to your desired size.
Click the "Crop" button.
Go to "File" > "Export As" and choose GIF as the format. Save your cropped GIF.
FFmpeg
Use the following command to crop the GIF, replacing input.gif with your GIF's filename and specifying the crop dimensions:
ffmpeg -i input.gif -vf "crop=w:h:x:y" output.gif