[@Mr.Dave] I got a reply from the WebAnimator folks:
“I can confirm that WebAnimator Go v3 currently creates responsive animations”.
So add quick customer support to the list of features also. I will give this one a try, even if I don’t make web pages (yet).
The importance of “responsive animations”: without this, you would have to recreate your animation for every screen size that might see it, or else it would be very tiny on some and too large to fit others. Responsive animation lets you create once, and not have to worry about what device screen is used to view your creation.