More Xenctrl doc