Remove an outdated piece of information from Lexer's configuration documentation.