Hi! I'm stopping maintaining system/pdksh in favor of system/ksh. The latter is superior in every way and is actively maintained by upstream. Daniel -- LÉVAI Dániel PGP key ID = 0x83B63A8F Key fingerprint = DBEC C66B A47A DFA2 792D 650C C69B BE4C 83B6 3A8F