Is open source Flash any better for the end users? Is the resulting swf, smaller or the code more robust?