[tripleo1]

1. man2html

and 2. i think it's gnome devhelp.

there's an app too.

it's too bad distributions themselves promote googling everything.