Replace /bin/ksh by /bin/sh.

This will better fit most of people who want to give a spin to
one of the scripts.  Besides people using SunOS are probably already
aware that they should use ksh instead of their sh.
Use my personal email address rather than my @socgen.com one.