//etc/alternatives/ksh-man