Re: [Dev-luatex] A few manual typos