Video editing software for pre-recorded lectures
I have found Kdenlive to be a very good video-editing solution on Linux. It is free and open-source, with an active help forum and good documentation. It probably has many more features than you will ever need, but I didn't find the learning curve to be too high as a new user.