I have followed detailed instructions, from multiple sites, including HowToGeek, on how to rotate a video, and then save the rotated version to a new file. The most recent instructions I tried were at this location: https://www.maketecheasier.com/rotate-vlc-video. When the conversion process complet...