By the way, since @vkc recently talked about using #Kdenlive to edit her videos, and not some proprietary tool:

As someone who’s been using DaVinci Resolve in the past, I’m increasingly using Kdenlive, too, especially for short clips. Because as “professional” as Resolve might be, it’s also incredibly picky about the input formats it supports. Kdenlive will basically take just about anything, from whereever you might’ve downloaded it from, no matter the codecs or containers.