[NTG-pdftex] pdftex -output-comment=STRING