K 10 svn:author V 3 nik K 8 svn:date V 27 1998-06-30T08:43:42.000000Z K 7 svn:log V 99 Fix the use of `` and '' in the section that explains kernel options. Use '"' to ease cut-n-paste. END