I think it was probably RSTS/E. There were other pdp-11s like the KTV or XGP machines. There might have been Unix machines someplace (MIT is a big place) I just meant that never saw any, and in particular around where quux was assembling the jargon file.