Load your recording file, which is an executable file.
Select your target resolution for replay
Start the converting process.
The converting process takes time, roughly
1/4 of the recording time. The result file has the same file name of the recording file with the MP4
file extension. It is in the same directory of the recording file.