Render recorded sequence to MP4?

General Feedback & Requests
1

???

2

I need this answer

3

Render to an image sequence and then use any video editing software to export that to video