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.