Ask HN: What is the software for video editing on Linux?