Hovers preference page

Also add pop-up to the search term. This needs to be added at the
beginning, see Bug 527082 for the discussion and Bug 527833 for a
follow-up bug.

Change-Id: I9b565c2970b17d143039fc1eeb9da8c3ea6de24a
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>