Re: [NTG-pdftex] pdfetex /pdftexbanner gives pdftex