gnome3.yelp-tools: add