Re: [NTG-pdftex] \type{...} problem with manual