Hi

Back on main laptop.

The video editor I discovered is called VSDC.

A bit fiddly at first but worth the effort especially if, like me, you only want to edit existing stuff by yourself.

Try it.