What is the difference between GIF, MP4 and WebP here?

They are the same clip in three containers. GIF is the most compatible and the largest. MP4 is the smallest at equal quality and is used for previews. WebP sits between the two and is used where a browser supports it.