odoc_manpage (odoc.odoc