fktr8r Covington "TeXBase1Encoding ReEncodeFont" <8r.enc