[NTG-pdftex] possible bug in eTeX related to \savinghyphcodes