I've seen that unfortunately the FAQ was removed from the website since my original post. If anyone has an alternative link please share it here.
In the meantime I have purchased a F23, haven't gotten it yet. I plan to use a 7Q to record 444. Who knows if the 10bit 444 recording option comes with the 7Q by default? I saw in the RAW upgrade section that they mention the 444 option there as well, so is it a paid add on?
Besides the Gemini are there other (smallish) recorders to give me a 444 option, none that I am aware of anyways.