lexer doc; lua-headers doc