Dear Frank Mittelbach,

your suggestion to change the default font encoding from OT1 to T1
sounds good; I'd very much appreciate such a change.

Best regards,

Ernst Molitor