I'm skeptical about SWF export as well, but mostly because I'm not sure of the usecase for it in "flash if flash was built in 2026". I'd imagine even people opening old FLA files would rather have a modern non-plugin-requiring format (or a modern Projector equivalent) for output. Maybe for people still using Scaleform?