What video programs (preferably available on Linux) do folks use to capture live desktop activities for creating tutorials? The next question would what would you use to do some minor video editing such as inserting an arrow or text overlay? Thx, Bob