Codec
The codec menu lets you select ProRes, DNxHR or H.264 codecs for recording the HDMI input. It also serves as a playback mode selector. There is also a teleprompter option for displaying .rtf and .txt files on the HDMI output as scrolling text.