Explain Everything: Animated Gifs

I've probably written about making animated GIF files in Explain Everything before, but recently I made some new ones as part of a fun side project I am working on. It's as easy as creating a recording, selecting a section on the timeline, and choosing "Export as GIF".