“dotLottie” is another name for Lottie.