external recorder

So I've got the RC Pro coming in the mail. I'm going to live stream among other things. But I'm curious if anyone has ever used the HDMI port for an external recorder like an Atomos ninja or similar? Seems possible in my head but wanted to check. If no one knows I'll post an answer after I get...