Re: [Dev-luatex] Typos in the manual