K 10 svn:author V 3 max K 8 svn:date V 27 1996-11-24T22:19:50.000000Z K 7 svn:log V 93 Merged change from 1.15 to 1.17 in the English version in -current. Cosmetic tweaks. Typo. END