Exactly.
Granted, I use Adobe Premier, but any video editing software has an Export feature. That's what allows you to convert the editor's specific file extension to a conventional one for media players. There's about 2 dozen to pick from give or take, but my experience is the MPEG4 is the...