[translating] What is good video editing software on Linux?