[Sirened]

ffmpeg -i <original> -o out.mp4 also a super easy way to do this too since it'll get re-encoded. I don't know why screen recordings aren't handled this way automatically