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@