I’m also thinking that there might be a universal solution to all animations: user-driven animation end. Like, the system could cut off the animation as soon as the user hits another key, making it faster and learning the right rate of animations over time. That would be great!