A GIF re-encode made the file 4.5x bigger. Interframe differencing fixed it.

Cropping a GIF should not make it bigger. Ours did, and not by a little: a 288-frame Foucault...