GIF is <i>extremely</i> lossy for this use case since they can&#x27;t do 24-bit color. In addition to being unnecessarily gigantic, animated GIFs also look terrible for just about anything that isn&#x27;t pixel art. GIF itself is a lossless format, but when you use it for stuff like this the whole process is super lossy.