Re: ksh(1): manual says $PPID is read-only

[Todd C. Miller]

I've committed my fix to make "typeset -ir PPID" work and adjusted
the PPID line in initcoms[] accordingly.

 - todd