Lots of ways to resize video, but for some reason I just downloaded Final Cut Pro. Feels like a “use regex, now you have 2 problems” joke.