to movies in a variety of formats in a context that may range from broadcast tape formats to compressed video files for web publishing (such as on an online video platform or personal website), optical media, or saved to mobile devices.

To facilitate editing, source video typically has a higher resolution than the desired output. Therefore, higher resolution video