Certainly a bit disappointing that Lottie or SVG format export doesn't exist. Hopefully a work in progress?