“Lottie animation” is another name for Lottie.