[mtillman]

Yes. But it is written in no edit stone now. I’m sorry for the future google searches in which this received top billing instead of Ken Thompson’s name.