No entry for ksh88 in section 1 of the manual