delete sources/What is good video editing software on Linux.md
minor optimizations