> For what is worth, GNOME Help (Yelp) is packaged, but not the
> documentation of the GNOME desktop, which I think is essential to
> have a better desktop experience.

Thanks for the info. :-)

Regards,
RG.