Option to make non-repeating gifs?

[CoveredInChocolate]

When you generate gifs they loop an infinite number of times. I was wondering if it would be possible to make them loop a set number of times, especially just one time.

I am not sure if this is available at the moment. Might be for all I know.

I was also wondering where in the code the gif export actually happens. I am a bit unfamiliar with the graphics parts of Python.