@simon I'm doing a ton with camtasia. It's closed source, subscription afaik but it can do it:

techsmith.com/blog/edit-video-