Ask HN: What is the best video editing tool for Linux? | Hacker News Reader