My old video editor would only do H264 (unless I paid more money to unlock it) but the new one I got today works fine in H264 and H265 so I’ll try it out once I get some more footage without the raindrops.
The first vid from Saturday is 4K , the second one where I was playing with the new editor is only 1080.