Re: generate 2) other pages for Info

[Juri Linkov]

> The problem of not being able to find "revert" when we look for
> "refresh" should be solved by a personal help manager, not by the
> navigation system through the documentation.

Could you elaborate why do you think this should be solved by a
personal help manager?  As I see, in a PIM the user adds a link
(or a bookmark) to the information that the user has already found.
But how this will help to find a new information?  I think only adding
various index entries including most synonyms (e.g. "revert", "refresh",
"update", ...) will help to find the entry.

-- 
Juri Linkov
http://www.jurta.org/emacs/