I was glad to hear from the user that our code resolved the issue. Unfortunately, since we couldn't replicate the problem in our own environment and the scope of the impact is unclear, it will be difficult to include this fix in the Animation Upgrader.
If this issue happens again, we will look into a more permanent solution. Thank you.