Oh lmao I'm using that and the swiff army tool right now! Been making some experimental flashes trying to get under 10240kb. Protip: The filesize mentioned in both that and swfh264 is in MiB not MB! So be careful with those filesizes!
I should be getting one done in time for 2hu tuesday, pretty excited desu