Earlier quoted context omitted.
I've tried doing this screen-capture-to-gif thing before but it was always frustrating. I'd love to hear about the workflow to make a gif like this.
I've used the default MacOS screen recording (cmd + shift + 5) and then edited/speed up some parts with iMovie. Then I transform the video into a gif using https://github.com/mathieudutour/dotfiles/blob/master/bin/mo... Hope that helps!
[1]