Thanks for responding with a useful link. Unfortunately, recordMyScreen is a bit ... "slow" in terms of video quality.

I think I'll stick with screenr, it limits me to 5 minutes per video anyway!