Export File as .mp4 using something like ffmpeg

Perhaps this could be done with a lua script that invokes ffmpeg from the users $PATH. I don’t know if the lua scripts have access to execute external apps, would need @dacap to weigh in.