title: What is the easiest way to convert a folder full of PNG images into a video format?
body: <p>The resulting video will be played over HDMI. The conversion to video must not modify the PNG frames in any way. I know that some video converters may interlace frames or do some other enhancement to make the video look smoother or for other reasons, but in this case, I don't want that. </p>
  
  <p>Simple Mac application is preferred, but if thats not possible, then I'm ok with Python or the command line.</p>