Can someone explain to me the tradeoffs between dotLottie and using json files? The react player package for dot Lottie files is 2MB... Seems incredibly heavy to send to the browser vs. importing the JSON player and JSON files.