The screen recorder only makes GIFs (without sound). With a defined sound API, we could support making videos with sound in MP4