At Bob Kahn's request, add CNRI to the copyright string (but not to

the notice yet).