I switched to ffmpegging my gifs a year ago and haven't looked back. It's a bit annoying to begin with but now so much easier than using some 3rd rate program or having to upload everything to EZGif. It's worth the pain!
Author here. This is the same journey I went through and I 100% agree! It can be intimidating at first, but FFmpeg is a a worthwhile utility to begin learning.
I've also added some shell functions[0] to my dotfiles to make it a bit easier to use when switching between several different machines.
You've made a really handy cheat sheet, thanks! Bookmarked it for future use!
And yeah, it's great, and not just for gifs. Just quickly re-encoding something in a different format / container is so much easier than faffing around opening a proper program.
Took a while to not get annoyed with it though and figure out annoying watch-outs like -pix_fmt yuv420p, which I now finally have memorised.
I've also added some shell functions[0] to my dotfiles to make it a bit easier to use when switching between several different machines.
[0] https://gist.github.com/devadvance/03d3c8f57b3e0254fb989e946...