lua api : make usermanual xmllint compliant