I think we should just have synaptic recommend or depend on yelp. The help button already doesn't work for almost any GNOME app if yelp isn't installed; therefore many GNOME apps now recommend yelp.
If we do that, we don't even need to ship the html help in the package. Jeremy -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org