Edit: for future reference, download the animation to your computer, open in GIMP.
Click Image -> scale image. Reduce the width or height to make it smaller. I made it 100 pixels wide.
Click File -> Export. Select the option for .Gif and animation.
>using GIMP to scale images
In other news, today I cut my fingernails with a chainsaw.
It took less than 20 seconds, not including download and upload. And, it is an animation.
Yeah, I could have probably done some command line shit, but 1. I was on a Windows computer, and 2. It is quick and easy to do it this way. Also, 3. not everyone is a geek.