----- Original Message -----
<snip>
What really got my interest was an idea to implement a new GNOME
Shell
search provider (
https://bugzilla.gnome.org/show_bug.cgi?id=690058) that
would integrate with Tracker to index locally installed docs (with
the search possibly restricted to /usr/share/help/). Similarly to already
indexed user documents in ~/Documents or personal contacts, users could
then search for locally installed documentation, including the Release
Notes, from within the Shell's Activities overview. This would allow for a
far better (as in systematic) approach to finding files on the user's
desktop, with a neat categorization in the Shell's search results as an
added bonus.
Search providers are all backed by applications. What's the application
to read the docs in /usr/share/help? What would be in there other than the
release notes?
It would probably be better to have those docs be converted to something Yelp
can read and integrated in the Help, at least for GNOME and for Workstation.