9ncr8r CenturySchL-Roma "TeXBase1Encoding ReEncodeFont" <8r.enc