Upload was easy with a USB cable. But: the videos were all rotated 90 degrees, and I don’t know of an easy way to fix that!