Why yes, I have been obsessively optimizing this GIF for most of the day … More than four times the size of the first version, yet half the file size. And a mini version: