I'm grateful to MountainmanJed, Insanius, and Anotak for figuring this out. I've made some updates to their tools, but yeah: we have working animation / sprite extractors for the game 'now'. I say "now" because aspects of the tools have been floating around in various forms for a long while now: I've just been updating them to do useful-to-me-things such as animations-to-animated-gif dumping, automatic spritesheet generation, etc. These are my first lame non-fancy spritesheets, but I hope they're useful: they're sourced directly from the game. I can pad further or sort by animation or whatever - I just at least wanted to make sure some version of them was finally easily available. :)

I didn't know this existed!