Re: [NTG-pdftex] benchmarking patch