PDF manual and rec from HDMI

Hello, today I received a brand new X9S and it's awesome!

But I can't find the manual (Pdf, where's?)

The other question is how to change output file when recording from HDMI (default is .ts)?

Thanks a lot!