Kann man nicht bei Flash direkt ein Video auch rendern? Oder zumindest in Einzelbilder rendern und die dann in ein Video konvertieren.

Ansonsten kannst du natürlich probieren ob du mit https://ruffle.rs zu dem dir gewünschten Ergebnis kommst (aber das hast du bestimmt schon gesehen, das ist ja in dem von dir geposteten Artikel verlinkt)