Anyone know how to turn a game recording into mp4?

Or do I have to record it with an external software? (Suggestions of a good one? The windows default one kinda sucks)

Recorded game files are more like small text files containing a list of executed game commands; they are not videos at all and cannot be converted to any video format.

Personally, I’ve used OBS to record videos, although it’s been a while…