#928636 doc-base: add support for GNOME's yelp's "All Help" index