K 10 svn:author V 3 imp K 8 svn:date V 27 2000-09-17T21:01:30.000000Z K 7 svn:log V 32 Note about moving kernel names. END