If you’re on a PC like me, you can use Bandicam (Thanks Drac for the tip, it works perfectly, and the cost is reasonable), and Video Pad Editor (there’s a free limited version for non-commercial use).
I tried Windows Movie Maker first, but it just kept crashing.