What is everyone using to make gifs of your games? This is the first gif I ever made:

... and it took me way too much work using OBS + VLC + Gimp. I know I could automate the VLC part of it (and perhaps the Gimp part too, if I wanted to write a custom Python script), but I guess there has to be an easy and good way to do it instead.