I have a batch renamer so will be quick and easyIt's interesting that I had exactly the same problem you did when I used your animation zip. And the image names were the issue.
By the way, you remember you'd made an off hand remark about changing the image formats to PNG? It's quite possible that this could be a solution (Lol...funny that you'd have come up with it yourself) given the numerical names of the images.
Only reason I point this out is that I've seen a couple other animations with numerical names and they all were PNG format (well not all but the vasy majority of those zips).
Bottom line as you said...it couldn't hurt to try though it would clearly be a pain to execute. Yet, we learn from the experience.
Sent from my ALCATEL ONE TOUCH 7040D using XDA Free mobile app
Sent from my D6603 using XDA Free mobile app