obra’s Twitter Archive—№ 34,401

I need to start making some basic "howto" style videos. What lightweight video editing and overdubbing software do I want to be using? Ideally on Linux, but can do Windows/Adobe tools.