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. Colin McDonough
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.