Yesterday I upgraded our animation UI to support mixing of multiple animations.