Your link didn't work, since its got a period at the end.
Thanks - I've corrected that.
Just to re-cap here, I use recordMyDesktop to record my screen activity. The output is .ogg/Vorbis, which I convert to .avi. So, I have an .avi to play with on my PC. I've had no success with getting a video editor going.
I've seen some cool Linux oriented videos out there, and would like to give this a try e.g. editing my own videos. Hmm...