A side-question: is there a way to make .webm the default animated image format, on a per- basis? Is it a setting I’m missing somehow? The .gif is over 20 MiB (!!), but the .webm is only 240 kiB. That is a significant difference in disk space and bandwidth, and if I can default to .webm format for ALL .gif images, it’d save Derpibooru bandwidth, and me some disk space. :)

your current filter.THANK YOU!!! :D
Yeah, it’s the “Serve webm” checkbox under “Display” in your settings.
With a few tweakings I made it 11 mb instead on my DA. It’s an improvement I guess :P
That gif size is crazy, sorry about that. I don’t know how to file properly hehe.
A side-question: is there a way to make .webm the default animated image format, on a per- basis? Is it a setting I’m missing somehow? The .gif is over 20 MiB (!!), but the .webm is only 240 kiB. That is a significant difference in disk space and bandwidth, and if I can default to .webm format for ALL .gif images, it’d save Derpibooru bandwidth, and me some disk space. :)