Uploaded animated GIFs of 4MB or larger appear very small

Sure, less dependencies is better, isn’t it?

Probably OK

Simply check remote file size. If it’s too big, don’t pull. I do not care otherwise.

Yes, mostly file size will be an issue I’d expect, long before height and width dimensions really matter. (In sing-song Twilight Zone “another dimension.. the dimension of tiiiiime”) This is also why it’s so frickin’ weird to treat an image like a video. They are rather different animals!

Yes, nobody sane wants this.

We need this code path because we should eventually auto-convert GIFs to MP4s anyway. This gets us part of the way there and that’s a net positive to the world.