I have made the simplest possible video editor: drag files onto the window, and it'll either concatenate them into a single video, or batch convert them to a different format. (Requires ffmpeg) https://github.com/nakst/videdit