Script to convert Type 1 fonts in PFA format to TXT format. Requires detype1 tool.