i wanted to share some short 5 second clips on a post, i noticed that gifs are too big. What are my options, what file formats doesl lemmy and piefed accept for embeded videos