fix example titles
add HTML source for man pages