“What is the format of the HDMI output while recording? Is it 4:2:0 8-bit 1024p 30fps?”