this tool is all but useless to anyone that doesn't already know what they
are looking for !
please add a Search or Find button to this tool.
frustrated new user of gnome.
This will be fixed long-term in the help browser replacement, but is something
for the GNOME project rather than the next Red Hat release.
Thanks for the suggestion, though.