I did this for Strongbad emails years ago using some off-the-shelf flash to mp4 converter but a number of the videos had issues because they were interactive (and not just at the end but sometimes in the middle). I got the majority of them (at the time) converted so I could watch them on my iPod video. This was before I went full-on-data-hoarder and so I deleted them forever ago. Recently I tried to do it again and have all the swfs downloaded but haven't found a great way to mass convert them so I can put them in Plex (media server). If anyone has a good way to do it on linux via the command line I'd be very interested.