Exporting
Press Export video. Choose MP4 or GIF, the aspect ratio, and the size. Export runs on your GPU, on your computer.
Sizes
720p, 1080p and 4K, limited by the size of what you recorded. A 1440×900 recording cannot be exported at 4K; the editor greys out sizes it cannot honour.
What a licence changes
Recording, editing and the full-quality preview never need a licence. Export does. When you press Export without one, the app tells you and opens Settings → Licence so you can paste a key. See Your licence.