applications use it and they don't care about the GNOME Desktop help. We can now convert gnome-user-docs to MODGNOME_HELP_FILES. Add a RUN_DEPENDS on gnome-user-docs to gnome-panel since this is where the link to the GNOME Desktop help gets displayed.