A high-performance animation editor for the web.