nostr:npub1x2vc8gu0kj2slcujhkd2y684k32e2zhzn78d2quea4tajn9ql2pqqjar98 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.