Hello, what is the current situation with the HDMI input functionality? what audio codec can by selected? what video codec can by selected and bitrate? recorded resolution is as the same like source and also can be recorded as interlace? Thank you.