Huh, I was at Berkeley from 79-83 and Ken wasn't anywhere to be seen.
I believe he left Berkeley as a student aroung 66 and taught there
for a year in 75 on sabbatical from the labs.

The closest we got to using 4.n BSD was when Robert Morris, now at MIT,
imported the 4.1c TCP/IP stack into 7/8th edition (I believe in 84)
nominally as my summer student.