Facebookowe Gify, jak?

Interesuje mnie jak Facebook zamienia obrazki takie jak ten:

https://scontent-frt3-1.xx.fbcdn.net/v/t39.1997-6/p240x240/62457422_296326711321752_7707669853234003968_n.png?_nc_cat=1&_nc_sid=0572db&_nc_ohc=CufWpk9KHq4AX9OA5Me&_nc_ht=scontent-frt3-1.xx&oh=f8a8398327fd8222ec7e5a8d251c235b&oe=5EE9A97F

W gotowe animacje GIF?
Może są jakieś gotowe skrypty, biblioteki, które to ogarniają? :D Bo pewnie to jakaś magia JavaScriptu ...
Tylko jak wiadomo co trzeba animować? :O Prędzej bym zrozumiał serię obrazków a nie jeden plik ...

Żadna magia:
https://www.w3schools.com/cssref/pr_pos_clip.asp
a tu masz przykład, jak to można animować w samym cssie:
https://css-tricks.com/animating-with-clip-path/