We use either OBS or GifCam to capture the gif, and then EZGif (https://ezgif.com/maker) to cut/scale/optimize them for a good file size!
thanks!
