Manuals indexes your developer manuals and provides robust browsing
and searching capabilities. It supports the devhelp documentation format
used by many libraries integrating with the GTK platform.