Can you point to documentation that Ken was directly responsible for those features?

Craig, I have little doubt that Ken was involved in the items in Alejandro's list, in some manner.

Let's also remember a HUGE contribution going back in time - GENSCRNX. That one, along with TABX (or whatever it was called, which I think Steve Black did) were HUGE back in the day.