K 10 svn:author V 3 jim K 8 svn:date V 27 2000-06-08T01:58:59.000000Z K 7 svn:log V 64 Add bits needed to convert "..." to ``...'' in the HTML output. END