How to set the frame-rate of a gif file?

This thread might be of use:

It would require you use FFMPEG.jl and not FileIO but seems like it would work. I tried to look at the documentation for FileIO.jl to find something like a “fps” kwarg but couldn’t find one though I would imagine something like that would exist…