I think that what doesn't make sense is what markm said. It's strange because I think he should have clear what is open source and what it is not.
Edit: Open source means that I will publish the source files, and allow people to view, edit and create new versions of this source files, despite the software I used to create it is not open source. That's what I have learned.
I am saying flash source code is not suitable for devcoin backing because flash is a proprietary language not a free open language-specification, as far as I know.
If indeed flash is a free open specification that other people besides macromedia or whoever it is has free open source viewers for, even then it is probably not suitable. There were free open source viewers for GIFs but still GIFs don't go in distros.
Can't flash building tools output normal animation formats, whatever they are? (Not animated GIFs, as GIFs are also deprecated...)
-MarkM-