Re: [Dev-luatex] Differences between PDF and DVI