Just wanted to point out that Blender also has a surprisingly decent video editing workflow. The usual caveats about the weird user interface and steep learning curve still apply, but I gave it about two days of practice and am very happy with the results.

Someone wrote a review claiming that Blender was the least painful way to edit video on Linux. I'm not sure if that was/is still true, but after trying two or three crash-tastic alternatives, I'm willing to believe it.