The JsCast editor for HTML animations