Re: [Dev-luatex] Typo in the manual?