IIRC, it's what he had at NeXT (in the office and on the machine(s) in his home). Plan 9 may have existed at AT&T, but first shipped in 1992 (https://en.wikipedia.org/wiki/Plan_9_from_Bell_Labs#History)