[danmg]

pdksh was a thing. Using ksh meant they could use the odd solairs machine without having to maintain third party tools on them.

There's a lot of overlap between bash and ksh scripting, but it's not 1:1.