[NTG-pdftex] removal of some extensions -- yes or no?