@翠星石 Mastodon does the mp4 to gif thing as well by the way.

But yeah most of the other fedi servers still use regular old real gif.