@mcc I think it's just a very simple way to filter out larger gifs (and yes, when we had a less performant server ffmpeg regularly DOS'd it)
@DylanTheThomas @mcc playing large gifs absolutely wreck performance in browsers bc it's not hardware accelerated
@noiob @mcc if you don't mind me interrupting to ask...
expected behavior from Mastodon is that instead of injesting .gifs like any other photo or video format, it'll transcode it to another and drop it in an .mp4 container?
If so, is its purpose to reduce the size of the image? Does it attempt to stream it, or just attach it as a standard video element when it serves a page?