K 10
svn:author
V 6
danger
K 8
svn:date
V 27
2007-07-21T11:14:08.000000Z
K 7
svn:log
V 226
Retire docs/man.html page since it has tendency to get out of date pretty
easily (it actually is partly broken at the moment). I will just leave
hyperlink for direct man.cgi script in the navigation.

no objections from: www@

END