[translating] what is good video editing software on linux