"Render" exports the animation as a single file with one line per base64-encoded png frame. I use this script to turn that file into a gif.
Also shared on Mastodon.