Re: [Dev-luatex] Luatex 0.80.0 announcement (luigi scarso)