Search tooltip: Indicates how to make sure a specific keyword is in a document

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
split_words(): Strip the double-quotes around words, so word highlighting can work

Signed-off-by: Jerome Flesch <jflesch@gmail.com>