Re: [Dev-luatex] Additions to the manual