This is a Lottie animation
Lotties are a type of JSON-based animation file that makes shipping animations as easy as shipping static images, to any platform. They're tiny files that scale beautifully and work on all devices.
You probably noticed the one we've put into the page loader, or if you've hovered over my logo in the top -left of the screen. I like to think of them as .GIF 2.0: they are smaller, higher quality and more scalable. I'd highly recommend them!