I can see in the docs that ImageSequence allows you to read, say an animated gif. But how do I write a sequence of images to a single animated file?<br>