Gifski

BTW, I turned that screen recording from my iPad in the last post from .mov to an animated .gif using a utility called Gifski. I used the CLI version and it was pretty straightforward to get decent output. But, I now see there’s a GUI version that’s a little easier to use with interactive resizing and preview for output image.